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

Papers 1997

EaSySim II: Software System Validation Using Executable Models [00026]
Date	Dec 1997
Files
Paper
Links
ESA News
References
Early System Validation: With Executable Models through the Life Cycle [00027]

Early System Validation: With Executable Models through the Life Cycle [00027]
Date	Dec 1997
References
EaSySim II: Software System Validation Using Executable Models [00026]
This paper was published by ESANEWS, December 1997.

Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00028]
Event	SDL'97 Forum
Date	23 Sep 1997 - 26 Sep 1997
Location	Evry, France
Files
Paper Presentation
Links
SDL-Forum
References
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00029]

Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00029]
Event	SDL'97 conference
Date	23 Sep 1997 - 26 Sep 1997
Location	Evry, France
Files
Paper
References
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00028]
This paper was published by Elsevier Science Publishers B.V., ISBN: 0-444-82816-8

Experience with Validation by Simulation, Automated Code Generation and Integration [00030]
Event	DASIA'97
Date	26 May 1997 - 29 May 1997
Location	Sevilla, Spain
Files
Paper Presentation
The presentation included an online demonstration on a Sparc Workstation and a PC laptop.

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