Manuela L. Bujorianu, Michael Fisher (Eds.):
Proceedings FM-09 Workshop on Formal Methods for Aerospace.
EPTCS 20 2009
M. Lazar:
Flexible Lyapunov Functions and Applications to Fast Mechatronic Systems.
76-79
Loïc Besnard,
Thierry Gautier,
Julien Ouy,
Jean-Pierre Talpin,
Jean-Paul Bodeveix,
Alexandre Cortier,
Marc Pantel,
Martin Strecker,
G. Garcia,
A. Rugina,
Jérémy Buisson,
Fabien Dagnat:
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software.
80-87