Generation of safe operation sequences using iterative refinements and abstractions of timed automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Cochard, David Gouyon, Jean-François Pétin. Generation of safe operation sequences using iterative refinements and abstractions of timed automata. In 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016. pages 1-8, IEEE, 2016. [doi]

This author has not been identified. Look up 'Thomas Cochard' in GoogleThis author has not been identified. Look up 'David Gouyon' in GoogleThis author has not been identified. Look up 'Jean-François Pétin' in Google

runs on WebDSL