Synonyms were used for:
Softwareentwicklung
Search without synonyms:
keywords:("Softwareentwicklung")
Verification of Solid State Interlocking Programs
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Verification of Scheme Plans Using CSP||B
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Reusable Services and Semi-automatic Service Composition for Automotive Software
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software