Copyright © 2004-2017 BSSE.
All rights reserved.
Impressum Privacy Policy/Datenschutzerklärung 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
Describes a generic architecture and decomposition scheme.
From CASE to CIVE: A Future Challenge! [00034]
Date20 May 1996 - 23 May 1996
LocationRome, Italy
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]