Comparing Timed C/E Systems with Timed Automata (Abstract)

• Authors:

• Ralf Huuck;Yassine Lakhnech;Luis Urbina;Sebastian Engell;Stefan Kowalewski;Jörg Preußig

• Affiliations:

• -;-;-;-;-;-

• Venue:
• HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
• Year:
• 1997