|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Manuela-Luminita Bujorianu, Michael Fisher 0001 (eds.) |
Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti |
Implementing Multi-Periodic Critical Systems: from Design to Code Generation |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Kordy, Rom Langerak, Jan Willem Polderman |
Re-verification of a Lip Synchronization Protocol using Robust Reachability |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mariken H. C. Everdij, Henk A. P. Blom |
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski |
Modelling and Verification of Multiple UAV Mission Using SMV |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Emil Vassev, Mike Hinchey |
Developing Experimental Models for NASA Missions with ASSL |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Louise A. Dennis, Michael Fisher 0001, Nicholas Lincoln, Alexei Lisitsa 0001, Sandor M. Veres |
Agent Based Approaches to Engineering Autonomous Space Software |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Lazar |
Flexible Lyapunov Functions and Applications to Fast Mechatronic Systems |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalization and Validation of Safety-Critical Requirements |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith |
An Entry Point for Formal Methods: Specification and Analysis of Event Logs |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|