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]
Event	CSR 13th Annual Workshop "Design for Protecting the User"
Date	11 Sep 1996 - 13 Sep 1996
Location	Bürgenstock near Luzern, Switzerland

GIFTBox: A Guide to master Distributed, Heterogeneous Systems [00033]
Date	Jun 1996
Files
Paper
Describes a generic architecture and decomposition scheme.

From CASE to CIVE: A Future Challenge! [00034]
Event	DASIA'96
Date	20 May 1996 - 23 May 1996
Location	Rome, Italy
Files
Presentation
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]
Date	1996