Login / Signup

Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems.

Andreas MetzgerStefan 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