Synonyms were used for:
Softwareentwicklung
Search without synonyms:
keywords:("Softwareentwicklung")
Validierung einer integrierenden Software-Plattform für sicherheitskritische Bahnsysteme
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
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