Sign in

Creating and Validating Embedded Assertion Statecharts.

Doron DrusinskyMan-tak ShingKadir Alpaslan Demir
Published in: IEEE Distributed Syst. Online (2007)
Keyphrases
  • embedded systems
  • databases
  • reactive systems
  • database systems
  • multi agent
  • agent oriented
  • control software
  • class diagrams