• Home
  • News
    • News Archive
  • Products
    • DCRTT
    • ISG/ASaP
    • DARTT
    • AutoPilot
  • Service
    • Systematic Project Management (SPM)
    • Systematic Requirements Management (SRM)
  • Experience
    • Rainer Gerlich
    • Ralf Gerlich
    • Company History
  • Papers
  • Contact
  • All
  • By Year
    • 2020
    • 2019
    • 2018
    • 2017
    • 2016
    • 2015
    • 2014
    • 2013
    • 2012
    • 2011
    • 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
  • By Category
    • Ada
    • Automatic Code Generation
    • Automation
    • DASIA Presentations
    • ISG/ASaP
    • Platform Portability
    • Quality Assurance
    • Realtime Systems
    • Requirements Engineering
    • SDL
    • Safety Critical & Fault Tolerant Systems
    • Simulation
    • System & Software Engineering
    • Tool Integration
    • Verification & Validation

Papers 1996

Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems

Date11 Sep 1996 - 13 Sep 1996
EventCSR 13th Annual Workshop "Design for Protecting the User"
LocationBÃŒrgenstock near Luzern, Switzerland
Permalink

GIFTBox: A Guide to master Distributed, Heterogeneous Systems

DateJun 1996
Describes a generic architecture and decomposition scheme.
Permalink

Files

Paper

From CASE to CIVE: A Future Challenge!

Date20 May 1996 - 23 May 1996
EventDASIA'96
LocationRome, Italy
This paper was presented during the DASIA'96 conference, May 20th - 23th 1996 in Rome.
Permalink

Files

Presentation

Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance

Date1996
Permalink
Copyright © 2021 GSSE.
All rights reserved.
Imprint/Impressum Privacy Policy/Datenschutzerklärung Legal Notice