C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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