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

Papers 1996

Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems [00032]
EventCSR 13th Annual Workshop "Design for Protecting the User"
Date11 Sep 1996 - 13 Sep 1996
LocationB├╝rgenstock near Luzern, Switzerland
GIFTBox: A Guide to master Distributed, Heterogeneous Systems [00033]
DateJun 1996
Files
Describes a generic architecture and decomposition scheme.
From CASE to CIVE: A Future Challenge! [00034]
EventDASIA'96
Date20 May 1996 - 23 May 1996
LocationRome, Italy
Files
This paper was presented during the DASIA'96 conference, May 20th - 23th 1996 in Rome.
Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance [00035]
Date1996