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