Improving automotive embedded systems engineering at European level
Is the Ada bandwagon rolling at last? (military software)
Embedded computer dependencies
System hardware and software reliability analysis
Controlling large cyclic avionics software systems written in Ada
Approaches and implementation of software test and development system for embedded computer systems
Future spacecraft need distributed data systems
Real-time, Ada-based, avionics processing
Security audit for embedded avionics systems
Codesign of architectures for automotive powertrain modules
Personal computer models Mil-Std-1750A avionics systems
The use of JSD on the Spearfish system (heavyweight torpedo)
Real-time software development in multiprocessor, multifunction systems
A verifiable, autonomous satellite control system
Modular embedded computer software for advanced avionics systems
Computer-aided prototyping for a command-and-control system using CAPS
Laboratory concepts in avionics software
RASSP: changing the paradigm of electronic system design