default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRODIN Project Book 2006
- Michael J. Butler, Cliff B. Jones
, Alexander B. Romanovsky, Elena Troubitsyna:
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Lecture Notes in Computer Science 4157, Springer 2006, ISBN 3-540-48265-2 - Jean-Raymond Abrial:
Train Systems. 1-36 - Mikael Asplund, Simin Nadjm-Tehrani:
Formalising Reconciliation in Partitionable Networks with Distributed Services. 37-58 - Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione:
The Fault-Tolerant Insulin Pump Therapy. 59-79 - Fernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira:
Reasoning About Exception Flow at the Architectural Level. 80-99 - Patrice Chalin:
Are Practitioners Writing Contracts? 100-113 - Joey W. Coleman:
Determining the Specification of a Control System: An Illustrative Example. 114-132 - Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy. 133-152 - Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexey Furmanov:
F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring. 153-167 - Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky:
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. 168-188 - Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook:
Formal Development of Mechanisms for Tolerating Transient Faults. 189-209 - Daniel Jackson, Michael Jackson:
Separating Concerns in Requirements Analysis: An Example. 210-225 - Shmuel Katz:
Rigorous Fault Tolerance Using Aspects and Formal Methods. 226-240 - Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems. 241-260 - Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. 261-287 - Carroll Morgan, Annabelle McIver:
Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation. 288-305 - César A. Muñoz, Victor Carreño, Gilles Dowek:
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. 306-325 - Colin F. Snook, Michael Poppleton, Ian Johnson:
Towards a Method for Rigorous Development of Generic Requirements Patterns. 326-342 - Divakar Yadav, Michael J. Butler:
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. 343-363 - Apostolos V. Zarras, Manel Fredj, Nikolaos Georgantas, Valérie Issarny:
Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing. 364-386 - Jean-Raymond Abrial:
Tools for Developing Large Systems (A Proposal). 387-390 - Peter Amey:
Why Programming Languages Still Matter. 391-402
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 2024-11-08 20:40 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
