Synonyms were used for: Software
Search without synonyms: keywords:(Software)

1–20 of 576 hits
|

    AIRBUS and ATR System Architecture and Specification

    Traverse, Pascal | Springer Verlag | 1988
    Keywords: Software Error , Software Engineering

    ERICSSON Safety System for Railway Control

    Hagelin, Gunnar | Springer Verlag | 1988
    Keywords: Software Engineering

    OPEN LOOK Story: Industry Outlook/Overview

    Kannegaard, Jon | Springer Verlag | 1990
    Keywords: Software Engineering

    A Knowledge-Based Autonomous Vehicle System for Emergency Management Support

    Gilmore, John F. | Springer Verlag | 1993
    Keywords: Software Engineering

    Limits of Correctness in Computers

    Smith, Brian Cantwell | Springer Verlag | 1993
    Keywords: Software Engineering/Programming and Operating Systems

    Real Time Aspects of Manned Space Flight Avionics Computing

    Anderman, Alfred | Springer Verlag | 1994
    Keywords: Software System Department , Software Engineering/Programming and Operating Systems

    Chapter 5. Orbital plane change with aerocruise

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Head Up Display. Requirements on an Avionic System

    Bengtsson, Kim | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 4. Fuel optimal control for noncoplanar orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 1. Introduction

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 6. Optimal guidance for orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 3. Fuel optimal control for coplanar orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 2. Atmospheric entry problem

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Real-Time Rule Based Control of Robot Motion

    Ciliz, M. Kemal | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Measuring the Benefits of Transport Safety

    Jones-Lee, M. W. / Loomes, G. | Springer Verlag | 1995
    Keywords: Software Engineering

    Applying the B-Method to Avionics Software: An Initial Report on the MIST Project

    Draper, Jonathan | Springer Verlag | 1997
    Keywords: Software Engineering

    Railway Safety Cases

    Edwards, Chris | Springer Verlag | 1997
    Keywords: Software Engineering

    Safety and Security Requirements for an Advanced Train Control System

    Braband, Jens | Springer Verlag | 1997
    Keywords: Software Engineering

    Air Force Research Laboratory Cryocooler Reliability Initiatives

    Blankenship, S. / Lynn Fountain, T. / Davis, T. M. et al. | Springer Verlag | 2002
    Keywords: Software Reliability