With Executable Models through the Life Cycle
Date | 16 Apr 1997 - 18Apr 1997 |
---|---|
Event | FEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems |
Location | Munich, Germany |
The presentation included a tool demonstration.
Permalink