Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0.

Alicia Villanueva

Published in: J. Funct. Program. (2007)

Keyphrases

reactive systems
springer verlag
model checking
formal methods
temporal logic
information flow
formal specification
petri net
control flow
computer society
artificial intelligence
state machines
software engineering
decision making
web services
supply chain