Login / Signup

On the Design of Reactive Systems.

Reino Kurki-SuonioT. Kankaanpää
Published in: BIT (1988)
Keyphrases
  • reactive systems
  • case study
  • databases
  • formal methods
  • knowledge based systems
  • building blocks
  • model checking
  • temporal logic