EPTCS 20 - FMA 2009
Manuela L. Bujorianu, Michael Fisher (Eds.): Proceedings FM-09 Workshop on Formal Methods for Aerospace. 2009 EPTCS 20 [ contents ]- Mariken H. C. Everdij, Henk A. P. Blom: Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets. ... 1-15
- Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith: An Entry Point for Formal Methods: Specification and Analysis of Event Logs. ... 16-21
- Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski: Modelling and Verification of Multiple UAV Mission Using SMV. ... 22-33
- Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: Implementing Multi-Periodic Critical Systems: from Design to Code Generation. ... 34-48
- Piotr Kordy, Rom Langerak, Jan Willem Polderman: Re-verification of a Lip Synchronization Protocol using Robust Reachability. ... 49-62
- Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Agent Based Approaches to Engineering Autonomous Space Software. ... 63-67
- Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Formalization and Validation of Safety-Critical Requirements. ... 68-75
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team