Stop the war!
Остановите войну!
for scientists:
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
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.