An Approach to Formal Specification of Control Modules.

Wu Hon Leung C. V. Ramamoorthy

Published in: IEEE Trans. Software Eng. (1980)

Keyphrases

formal specification
model checking
formal methods
object oriented design
specification languages
process algebra
specification language
reverse engineering
concurrent systems
control system
data abstraction
database
information technology
formal specification language
response time
programming language