Login / Signup
Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools.
Uwe Gläser
Published in:
EUROCAST (1995)
Keyphrases
</>
reactive systems
formal methods
temporal logic
real time
mathematical models
databases
web services
high level
knowledge representation
distributed systems
building blocks
statistical methods
information flow
state machines