Open AccessA Uniform approach for the Specification and Design of Interactive Systems: the B method
Author(s) -
Yamine AïtAmeur,
Patrick Girard,
Francis Jambon
Publication year - 1998
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - correctness , computer science , rotation formalisms in three dimensions , component (thermodynamics) , formal specification , formal methods , b method , programming language , formal verification , software engineering , architecture , model checking , cover (algebra) , theoretical computer science , mathematics , engineering , mechanical engineering , art , physics , geometry , visual arts , thermodynamics