31–40 of 87 hits
|

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | TIBKAT | 2020
    Keywords: Softwareentwicklung

    Specification of Distributed Computing for Small Satellite Control

    Free access
    Rückerl, Sebastian | TIBKAT | 2023
    Keywords: Softwareentwicklung

    In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil

    Hindel, Bernd | TIBKAT | 2001
    Keywords: Softwareentwicklung

    Neural Simplex Architecture

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

    Entwicklung und Bewertung variantenreicher eingebetteter Software : Projekt "EBASO" ; Schlussbericht von Fraunhofer FIRST

    Free access
    Mann, Stefan | TIBKAT | 2011
    Keywords: Softwareentwicklung

    Composable Coordination for Service Robots: A Model-Driven Approach

    Free access
    Lutz, Matthias | TIBKAT | 2022
    Keywords: Softwareentwicklung

    Heterogeneous Verification of an Autonomous Curiosity Rover

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

    Validating Machine Learning-based Highly Automated Driving Functions by Diversity

    Free access
    De Candido, Oliver Thomas | TIBKAT | 2023
    Keywords: Softwareentwicklung