Verification in the design process of large real-time systems: a case study
Alternating priority queues with non-zero switch rule
DORMAN computer program (study 2.5). Volume 1: Executive summary (final report)
Overview and critique of computer prprograms for spacecraft EMC analysis
Der computergesteuerte rangierbahnhof. Grundlagen, erreichtes, geplantes versuch seelze
Research on Millimeter-Wave Radar Based Automotive Lateral Anti-Collision Warning System
Designing a software compatible computer family for aerospace applications
Die automatische Regelung stufenloser Schleppergetriebe
Utilization of a dual spool compressor test facility to aid development of turbofan engines
Einfaches Verfahren zur Kontrolle der Laengsbeanspruchungen fuer die Bordpraxis
An example from space: New development for high dependability for space board computing