Creating and Validating Embedded Assertion Statecharts.

Doron Drusinsky Man-tak Shing Kadir 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