Login / Signup

A Timed Semantics for the STATEMATE Implementation of Statecharts.

Carsta PetersohnLuis Urbina
Published in: FME (1997)
Keyphrases
  • efficient implementation
  • database
  • petri net
  • specification language
  • data model
  • agent oriented