Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FMA"( http://dblp.L3S.de/Venues/FMA )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2009 (11)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
FMA(11)
Authors
Michael Fisher 0001(2) Alessandro Cimatti(1) Alex Groce(1) Alexandre Cortier(1) Alexei Lisitsa 0001(1) Ana-Elena Rugina(1) Angelo Susi(1) Antonios Tsourdos(1) Brian A. White(1) Claire Pagetti(1) David Lesens(1) Emil Vassev(1) Fabien Dagnat(1) Frédéric Boniol(1) Gérald Garcia(1) Gopinadh Sirigineedi(1) More (+10 of total 42)
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
1Manuela-Luminita Bujorianu, Michael Fisher 0001 (eds.) Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti Implementing Multi-Periodic Critical Systems: from Design to Code Generation Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Piotr Kordy, Rom Langerak, Jan Willem Polderman Re-verification of a Lip Synchronization Protocol using Robust Reachability Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mariken H. C. Everdij, Henk A. P. Blom Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski Modelling and Verification of Multiple UAV Mission Using SMV Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Loï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 Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emil Vassev, Mike Hinchey Developing Experimental Models for NASA Missions with ASSL Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001, Nicholas Lincoln, Alexei Lisitsa 0001, Sandor M. Veres Agent Based Approaches to Engineering Autonomous Space Software Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mircea Lazar Flexible Lyapunov Functions and Applications to Fast Mechatronic Systems Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Formalization and Validation of Safety-Critical Requirements Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith An Entry Point for Formal Methods: Specification and Analysis of Event Logs Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license