Login / Signup

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems.

Giorgio DelzannoSandro EtalleMaurizio Gabbrielli
Published in: Theory Pract. Log. Program. (2006)
Keyphrases
  • reactive systems
  • databases
  • artificial intelligence
  • user interface
  • social networks
  • high level
  • data analysis
  • e government
  • formal methods
  • control flow
  • formal verification