1–20 von 89 Ergebnissen
|

    Automated verification of code generated from models: Comparing specifications with observations

    Gerlich, Ralf / Sigg, Daniel / Gerlich, Rainer | Tema Archiv | 2008

    EXOMARS Composite Avionics Description and its Validation on the Test Benches

    Montagna, M. / Capuano, M. / Cassi, C. et al. | British Library Conference Proceedings | 2008

    The ASSERT Virtual Machine Kernel: Support for Preservation of Temporal Properties

    Zamorano, J. / de la Puente, J.A. / Pulido, J.A. et al. | British Library Conference Proceedings | 2008

    Advanced Mass Memory Concept Development

    Sanchez, A.V. / Furano, G. / Tejedor, N.G. et al. | British Library Conference Proceedings | 2008

    Optical Payload Interface Unit for Telecommand and Telemetry of Satellite Payload Equipment

    Hespeler, B. / Kurz, R. / European Space Agency | British Library Conference Proceedings | 2008

    Views and Trends in Simulator Design

    Beerthuizen, P. / de Vries, R. / Plevier, C. et al. | British Library Conference Proceedings | 2008

    Use of On-Board File System: A Real Simplification for the Operators?

    Olive, X. / Garcia, G. / Alison, B. et al. | British Library Conference Proceedings | 2008

    The SPaCIFY Project

    Chemouil, D. / European Space Agency | British Library Conference Proceedings | 2008

    The COLE System-on-Chip and its Software Development Environment

    Hult, T. / Sandin, P. / Rynas, A. et al. | British Library Conference Proceedings | 2008

    Processes and Concepts Toward Secure Communications for ESA Missions

    Herrgott, G. / Russell, J. / Sanchez, I.A. et al. | British Library Conference Proceedings | 2008

    NAND-flash memory technology in mass memory systems for space applications

    Casse, Mike / Walter, Dietmar / Schmidt, Hagen et al. | Tema Archiv | 2008

    Modelling the Space Domain: Domain Engineering for Avionics/Embedded Systems

    Rodriguez, A.-I. / Rodriguez, P. / Vera, I.-L. et al. | British Library Conference Proceedings | 2008

    Advanced System-on-Chip Design with In-Flight Reconfigurable Processing Cores for Space Applications

    Osterloh, B. / Michalik, H. / Fiethe, B. et al. | British Library Conference Proceedings | 2008

    High Throughput Bent-Pipe Processor Demonstrator

    Tabacco, P. / Vernucci, A. / Russo, L. et al. | British Library Conference Proceedings | 2008

    SpaceWire Remote Terminal Controller

    Ilstad, J. / Gasti, W. / Habinc, S. et al. | British Library Conference Proceedings | 2008

    Dependability and Safety Issues for Aerospace Software: A Systematic Approach

    Vozella, A. / D Anna, G. / Gigante, G. et al. | British Library Conference Proceedings | 2008

    AIV platform for the Galileo precise timing facility

    Oving, B.A. / Kroon, E. | Tema Archiv | 2008

    OCTAVE: A Data Model-Driven Monitoring and Control System in Accordance with Emerging CCSDS Standards such as XTCE and SM&C Architecture

    Cortiade, E. / Cros, P.-A. / Poupart, E. et al. | British Library Conference Proceedings | 2008

    GOCE Platform OBSW ISVV Test Campaign - Blending Demanding Standards with Agility

    Garcia, J.Q. / European Space Agency | British Library Conference Proceedings | 2008