Rolf Eberhardt

Learn More
abstract The main contribution of the paper is to set up an architecture for the behavior simulation and the rapid-prototyping of TMN systems. The underlying formal system is classically defined in terms of a formalism used to specify the simulated behaviors along with a simple operational semantic. A general outline of the so-called Behavior Language (BL)(More)
  • 1