Specification and Verification of Controlled Systems.

Henny Sipma Zohar Manna

Published in: FTRTFT (1994)

Keyphrases

formal methods
asynchronous circuits
building blocks
complex systems
real world
genetic algorithm
decision making
expert systems
object oriented
distributed systems
computer systems
knowledge based systems
computing systems
formal verification
exception handling