Synonyme wurden verwendet für:
Betriebssystem
Suche ohne Synonyme:
keywords:(Betriebssystem)
Limits of Correctness in Computers
Chapter 5. Orbital plane change with aerocruise
Head Up Display. Requirements on an Avionic System
Chapter 4. Fuel optimal control for noncoplanar orbital transfer
Chapter 6. Optimal guidance for orbital transfer
Chapter 3. Fuel optimal control for coplanar orbital transfer
Chapter 2. Atmospheric entry problem
Real-Time Rule Based Control of Robot Motion
Real Time Aspects of Manned Space Flight Avionics Computing
Modelling Traffic Flow at a Multilane Intersection
An Instrumentation-Based Approach to Controller Model Validation
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Towards Verification of Model Transformations Via Goal-Directed Certification
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Modeling with the Timing Definition Language (TDL)
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Towards Model-Driven Development of Hard Real-Time Systems
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control