Login / Signup
Two Industrial Trials of Formal Specification.
John S. Fitzgerald
Published in:
AMAST (1996)
Keyphrases
</>
formal specification
model checking
specification languages
object oriented design
specification language
industrial applications
data abstraction
formal methods
concurrent systems
process algebra
reverse engineering
model checker
formal specification language
information systems
e learning