Formal Specification of Stability in Hybrid Control Systems.

Ji Wang Weidong He

Published in: Hybrid Systems (1995)

Keyphrases

formal specification
control system
model checking
specification languages
specification language
object oriented design
reverse engineering
process algebra
formal methods
data abstraction
concurrent systems
real time
artificial intelligence
database systems
model checker