Synonyme wurden verwendet für: Softwareentwicklung
Suche ohne Synonyme: keywords:("Softwareentwicklung")

1–20 von 900 Ergebnissen
|

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Neural Simplex Architecture

    Phan, Dung T. / Grosu, Radu / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    On the Usefulness of Clause Strengthening in Parallel SAT Solving

    Vallade, Vincent / Frioux, Ludovic Le / Baarir, Souheib et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Strengthening Deterministic Policies for POMDPs

    Winterer, Leonore / Wimmer, Ralf / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Heterogeneous Verification of an Autonomous Curiosity Rover

    Cardoso, Rafael C. / Farrell, Marie / Luckcuck, Matt et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Softwareentwicklung mittels Simulationsumgebung

    Odendall, B. | Tema Archiv | 2015
    Schlagwörter: Software-Entwicklung

    HelpMe: A Heuristic License Plate Correction Method for Big Data Application

    Jia, Guochao / Tao, Xu / Liu, Yan et al. | Tema Archiv | 2015
    Schlagwörter: Software-Engineering

    Anhängerrangierassistent - Softwareentwicklung einer neuen Assistenzfunktion

    Hüger, P. / Kirchner, A. / Katzwinkel, R. et al. | Tema Archiv | 2014
    Schlagwörter: Software-Entwicklung

    New Challenges in Future Software Engineering

    Cheng, Jingde | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Characteristics Analysis and Library Development for Common Lamps by Using PSPICE Modeling

    Kim, Young-Choon / Cho, Moon-Taek / Song, Ho-Bin et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Analysis of Urban Traffic Based on Taxi GPS Data

    Li, Meng / Li, Ru-tong / Xia, Yong et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    A Requirement Analysis of Awareness-Based Vessel Traffic Service System for Maritime Safety

    Lee, Byunggil / Park, Namje / Kim, JuYoung | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Simulation and Analysis of Space Station Redocking

    Chen, Rui / Tang, Shengjing / Sun, Guojiang | Tema Archiv | 2014
    Schlagwörter: Software-Engineering