Synonyme wurden verwendet für:
Softwareentwicklung
Suche ohne Synonyme:
keywords:("Softwareentwicklung")
A Validation Methodology for OCaml-to-PVS Translation
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Heterogeneous Verification of an Autonomous Curiosity Rover
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
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?