default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods for Embedded Distributed Systems, 2004
- Fabrice Kordon, Michel Lemoine:
Formal Methods for Embedded Distributed Systems - How to Master the Complexity. Kluwer 2004, ISBN 978-1-4020-7996-2
The BART Case Study
- Victor L. Winter, Fabrice Kordon, Michel Lemoine:
The BART Case Study. 3-22
Building and Validating Conceptual Aspects
- Victor L. Winter, Deepak Kapur, G. Fuehrer:
Formal Specifcation and Refinement of a Safe Train Control Function. 25-64 - Michel Lemoine, Gervais Gaudiére:
From UML to Z. 65-88 - Adriaan de Groot, Jozef Hooman:
Environmental Modeling with UML. 89-129
Building and Validating Operational Aspects
- Martin Gogolla, Paul Ziemann:
Checking BART Test Scenarios with UML's Object Constraint Language. 133-170 - François Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre:
Modeling and verifying behavioral aspects. 171-211
Methodological Aspects
- Bernhard Schätz:
Mastering the Complexity of Reactive Systems - The AutoFocusApproach. 215-258 - Fabrice Kordon, Michel Lemoine:
Conclusions. 259-263
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.
last updated on 2026-08-22 01:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
