Login / Signup
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems.
Andreas Metzger
Stefan Queins
Published in:
SAM (2002)
Keyphrases
</>
reactive systems
model checking
temporal logic
information flow
petri net
control flow
formal methods
state machines
transition systems
real time systems
rapid prototyping
real time
databases
expert systems