Flexible Module Operation Scheme in Formal Specification Process.

Published in: APSEC (1995)

Keyphrases

formal specification
model checking
specification languages
process algebra
databases
case study
multi agent
distributed systems
design process
specification language
data abstraction