![](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
9th FMICS 2004: Linz, Austria
- Juan Bicarregui, Andrew Butterfield, Alvaro Arenas:
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004. Electronic Notes in Theoretical Computer Science 133, Elsevier 2005 - Juan Bicarregui
, Andrew Butterfield
, Alvaro Arenas:
Preface. 1-2 - Michele Banci, Alessandro Fantechi:
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. 3-19 - Jiri Barnat, Lubos Brim, Jakub Chaloupka:
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. 21-39 - Mustapha Bourahla, Mohamed Benmohamed:
Analysis of Real-Time Systems with CTL Model Checkers. 41-60 - Yunja Choi:
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony. 61-79 - Alain Girault, Éric Rutten:
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. 81-100 - Anders Henriksson, Uwe Aßmann, James Hunt:
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification. 101-117 - Martin Fränzle
, Christian Herde:
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. 119-137 - Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg
, Souheib Baarir, Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties. 139-157 - Akram Idani
, Yves Ledru:
Object Oriented Concepts Identification from Formal B Specifications. 159-174 - Misa Keinänen:
Obtaining Memory-Efficient Solutions to Boolean Equation Systems. 175-191 - Jacques Klein
, Benoît Caillaud, Loïc Hélouët:
Merging Scenarios. 193-215 - María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
, Guillermo Rodríguez:
Integration of Reliability and Performance Analyses for Active Network Services. 217-236 - Christophe Ponsard, Philippe Massonet
, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van:
Early Verification and Validation of Mission Critical Systems. 237-254 - David Sinclair, James F. Power
:
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. 255-273 - Maurice H. ter Beek
, Mieke Massink
, Diego Latella
, Stefania Gnesi
, Alessandro Forghieri, Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®. 275-294 - Jaco van de Pol, Miguel Valero Espada:
An Abstract Interpretation Toolkit for muCRL. 295-313 - Dieter Zöbel, David Polock, Andreas van Arkel:
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. 315-332
![](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.