Papers 1997
EaSySim II: Software System Validation Using Executable Models
Permalink
Early System Validation: With Executable Models through the Life Cycle
This paper was published by ESANEWS, December 1997.
Permalink
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues
| Date | 23 Sep 1997 - 26 Sep 1997 |
|---|
| Event | SDL'97 Forum |
|---|
| Location | Evry, France |
|---|
Permalink
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues
| Date | 23 Sep 1997 - 26 Sep 1997 |
|---|
| Event | SDL'97 conference |
|---|
| Location | Evry, France |
|---|
This paper was published by
Elsevier Science Publishers B.V., ISBN: 0-444-82816-8
Permalink
Experience with Validation by Simulation, Automated Code Generation and Integration
| Date | 26 May 1997 - 29 May 1997 |
|---|
| Event | DASIA'97 |
|---|
| Location | Sevilla, Spain |
|---|
The presentation included an online demonstration on a Sparc Workstation and a PC laptop.
Permalink
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
