Synonyme wurden verwendet für:
Softwareentwicklung
Suche ohne Synonyme:
keywords:("Softwareentwicklung")
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Verification of Solid State Interlocking Programs
Verification of Scheme Plans Using CSP||B
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Modeling with the Timing Definition Language (TDL)
Towards Verification of Model Transformations Via Goal-Directed Certification
Reusable Services and Semi-automatic Service Composition for Automotive Software