Login / Signup
Diagrammatic Formal Specification of a Configuration Control Platform.
John Howse
Steve Schuman
Gem Stapleton
Ian Oliver
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
formal specification
model checking
specification language
object oriented design
specification languages
formal methods
process algebra
reverse engineering
data abstraction
concurrent systems
control system
temporal logic
model checker
machine learning
case study
grid workflow