A Mechanically Proved Development Combining B Abstract Systems and Spin.

J. Christian Attiogbé

Published in: QSIC (2004)

Keyphrases

case study
knowledge based systems
distributed systems
support systems
technical issues
software engineering
decision support
database
low level
management system
complex systems
computing systems
commercial off the shelf
enabling technologies