Formal Specifications of Computer-Based Systems.

Miroslav Svéda Charles Rattray Jerzy W. Rozenblit

Published in: ECBS (2003)

Keyphrases

formal specification
multimedia
management system
computer systems
object oriented design
expert systems
model checking
artificial intelligence
information systems
access control
database management systems
specification languages