Synonyme wurden verwendet für:
Softwareentwicklung
Suche ohne Synonyme:
keywords:("Softwareentwicklung")
On the Usefulness of Clause Strengthening in Parallel SAT Solving
A Validation Methodology for OCaml-to-PVS Translation
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
HelpMe: A Heuristic License Plate Correction Method for Big Data Application
New Challenges in Future Software Engineering
Characteristics Analysis and Library Development for Common Lamps by Using PSPICE Modeling
Verification of Solid State Interlocking Programs
Verification of Scheme Plans Using CSP||B
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
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