Synonyms were used for:
Softwareentwicklung
Search without synonyms:
keywords:("Softwareentwicklung")
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles
Optimizing Resource Usage in Component-Based Real-Time Systems
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans
Case Study: NASA Space Shuttle Flight Control Software
Verification of Solid State Interlocking Programs
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Verification of Scheme Plans Using CSP||B
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?