![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
FMA 2009: Eindhoven, The Netherlands
- Manuela-Luminita Bujorianu, Michael Fisher:
Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 20, 2009 - 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 - Mircea 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érald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat:
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. 80-87 - Emil Vassev, Mike Hinchey
:
Developing Experimental Models for NASA Missions with ASSL. 88
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.