C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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