EPspectra: a formal toolkit for developing DSP software applications
KIM, HAHNSANG, TURLETTI, THIERRY, BOUALI, AMAR
Published in Theory and practice of logic programming (01.07.2006)
Published in Theory and practice of logic programming (01.07.2006)
Get full text
Journal Article
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