Copyright © 2004 BSSE.
All rights reserved.
Impressum Legal Notice

Document: With Executable Models through the Life Cycle

With Executable Models through the Life Cycle [00031]
EventFEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems
Date16 Apr 1997 - 18Apr 1997
LocationMunich, Germany
The presentation included a tool demonstration.