Login / Signup

A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL.

Lalita Jategaonkar JagadeesanCarlos PucholJames Von Olnhausen
Published in: Formal Methods Syst. Des. (1996)
Keyphrases
  • reactive systems
  • formal methods
  • information flow
  • model checking
  • software application
  • data mining
  • information systems
  • petri net
  • test cases
  • development process
  • real time systems