Formal specification for a clinical cyclotron control system.

Published in: Formal Methods in Software Development (1990)

Keyphrases

formal specification
control system
object oriented design
model checking
specification language
specification languages
data abstraction
process algebra
reverse engineering
formal methods
control strategy
concurrent systems
real time
fuzzy logic
closed loop
model checker
software components
databases