Open AccessA Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
Author(s) -
Camille Fayollas,
Philippe Palanque,
Jean Charles Fabre,
David Navarre,
Yannick Déléris,
Arnaud Hamon
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , architecture , formal methods , formal specification , software engineering , software architecture , reference architecture , fault tolerance , software , embedded system , programming language , distributed computing , art , visual arts