
Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development
Author(s) -
Patrick Girard,
Mickaël Baron,
Francis Jambon
Publication year - 2005
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , formal methods , architecture , life critical system , software engineering , formal verification , development (topology) , systems engineering , programming language , engineering , software , art , visual arts , mathematical analysis , mathematics