Synonyms were used for:
Softwareentwicklung
Search without synonyms:
keywords:("Softwareentwicklung")
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Validation of mission critical software design and implementation using model checking (spacecraft)
Validation and Test of Complex Weapons Systems
Validating metrics for ensuring Space Shuttle flight software quality
Utilizing Event-B for domain engineering: a critical analysis
Using views for modeling automotive function nets
Using the 3T architecture for tracking Shuttle RMS procedures
Using specification-driven concepts for distributed data management and dissemination
Using signal-oriented feature trees for model-based automotive functions
Using metrics in management decision making
Use of operational software for GLCM missile procedures trainer
Use of historical data In software cost estimation
Use of a digital computer in an integrated propulsion control system
Universelle Entwicklungsumgebung für Elektroniksysteme im Automobilbau