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
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?
Analysis of Urban Traffic Based on Taxi GPS Data
A Requirement Analysis of Awareness-Based Vessel Traffic Service System for Maritime Safety
Simulation and Analysis of Space Station Redocking