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

Papers 1997

EaSySim II: Software System Validation Using Executable Models [00026]
DateDec 1997
Files
Links
References
Early System Validation: With Executable Models through the Life Cycle [00027]
DateDec 1997
References
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]
EventSDL'97 Forum
Date23 Sep 1997 - 26 Sep 1997
LocationEvry, France
Files
Links
References
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues [00029]
EventSDL'97 conference
Date23 Sep 1997 - 26 Sep 1997
LocationEvry, France
Files
References
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]
EventDASIA'97
Date26 May 1997 - 29 May 1997
LocationSevilla, Spain
Files
The presentation included an online demonstration on a Sparc Workstation and a PC laptop.
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.