Integrating Functional and Architectural Views of Reactive Systems.

Jewgenij Botaschanjan Alexander Harhurin

Published in: CBSE (2009)

Keyphrases

reactive systems
temporal logic
model checking
petri net
multiple views
database
formal methods
real time
information flow
control flow
high level
training data
low cost
network traffic
architectural design