Login / Signup

Modeling reactive systems in Java.

Claudio PasseroneRoberto PasseroneClaudio SansoèJonathan MartinAlberto L. Sangiovanni-VincentelliRick McGeer
Published in: CODES (1998)
Keyphrases
  • reactive systems
  • formal methods
  • object oriented
  • mobile agents
  • database
  • artificial intelligence
  • expert systems
  • programming language
  • low cost
  • knowledge management
  • source code
  • model checking
  • java programs