ESTEREL: a formal method applied to avionic software development
Berry, Gérard, Bouali, Amar, Fornari, Xavier, Ledinot, Emmanuel, Nassor, Eric, de Simone, Robert
Published in Science of computer programming (01.01.2000)
Published in Science of computer programming (01.01.2000)
Get full text
Journal Article