Copyright © 2004-2017 BSSE.
All rights reserved.
Impressum Privacy Policy/Datenschutzerklärung Legal Notice

Papers Papers Home By category All Ada Automatic Code Generation Automation DASIA Presentations ISG/ASaP Platform Portability Quality Assurance Realtime Systems Requirements Engineering Safety Critical & Fault Tolerant Systems SDL Simulation System & Software Engineering Tool Integration Verification & Validation

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

Papers By year 2016 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1986 1983 1981 1980