Reuse of components in formal modeling and verification of distributed control systems.

Valeriy Vyatkin Hans-Michael Hanisch

Published in: ETFA (2005)

Keyphrases

control system
formal methods
formal models
cooperative
building blocks
distributed environment
data sets
distributed systems
lightweight
model checking
computer networks
modeling language
reusable components
signature verification
formal model
software components
case study