Formal Development of Reactive Fault Tolerant Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Linas Laibinis, Elena Troubitsyna. Formal Development of Reactive Fault Tolerant Systems. In Nicolas Guelfi, Anthony Savidis, editors, Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers. Volume 3943 of Lecture Notes in Computer Science, pages 234-249, Springer, 2005. [doi]

The following publications are possibly variants of this publication:

Formal Service-Oriented Development of Fault Tolerant Communicating SystemsLinas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik. rodin 2006: 261-287 [doi]

A Case Study in Formal Development of a Fault Tolerant Multi-robotic SystemInna Pereverzeva, Elena Troubitsyna, Linas Laibinis. SERENE 2012: 16-31 [doi]

runs on WebDSL