Synonyme wurden verwendet für:
Softwareentwicklung
Suche ohne Synonyme:
keywords:("Softwareentwicklung")
A Validation Methodology for OCaml-to-PVS Translation
Heterogeneous Verification of an Autonomous Curiosity Rover
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Prospective Architectures for Onboard vs Cloud-Based Decision Making for Unmanned Aerial Systems
Open Source Next Generation Visualization Software for Interplanetary Missions
Softwareentwicklung mittels Simulationsumgebung
HelpMe: A Heuristic License Plate Correction Method for Big Data Application
Anhängerrangierassistent - Softwareentwicklung einer neuen Assistenzfunktion
New Challenges in Future Software Engineering
Characteristics Analysis and Library Development for Common Lamps by Using PSPICE Modeling
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 Solid State Interlocking Programs
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?