Treffer 1 - 20 von 87 für Suche 'Conrad, Mirko', Suchdauer: 0,72s Treffer weiter einschränken
  1. 1
    Testing-based translation validation of generated code in the context of IEC 61508

    Testing-based translation validation of generated code in the context of IEC 61508 von Conrad, Mirko

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner

    Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner von Conrad, Mirko, Schildbach, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien

    Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien von Conrad, Mirko

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Improving Functional Safety of Automotive Video Data Transmission and Processing Systems

    Improving Functional Safety of Automotive Video Data Transmission and Processing Systems von Conrad, Mirko, Langner, Frank, Axmann, Benjamin, Blankenbach, Karlheinz, Bauer, Jan, Vogelmann, Matthäus, Wittmeir, Manfred, Xu, Sascha


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Modell-basierter Test Eingebetteter Software Im Automobil: Auswahl Und Beschreibung Von Testszenarien

    Modell-basierter Test Eingebetteter Software Im Automobil: Auswahl Und Beschreibung Von Testszenarien von Conrad, Mirko

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Systematic Testing of Model-Based Code Generators

    Systematic Testing of Model-Based Code Generators von Stuermer, Ingo, Conrad, Mirko, Doerr, Heiko, Pepper, Peter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner

    Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner von Conrad, Mirko, Schildbach, Georg

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Modell-Basierter Test Eingebetteter Software Im Automobil: Auswahl und Beschreibung Von Testszenarien

    Modell-Basierter Test Eingebetteter Software Im Automobil: Auswahl und Beschreibung Von Testszenarien von Conrad, Mirko

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL

    VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL von CONRAD, Mirko

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  10. 10
    VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL

    VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL von CONRAD, MIRKO

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  11. 11
    VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL

    VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL von CONRAD, MIRKO

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Model-Based Development of In-Vehicle Software

    Model-Based Development of In-Vehicle Software von Conrad, M., Dorr, H.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL

    VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL von CONRAD, MIRKO

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Test suite design for code generation tools

    Test suite design for code generation tools von Stürmer, Ingo, Conrad, Mirko


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events

    An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events von Conrad, Mirko, Krupp, Alexander


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    8.3.1 Towards an Integrated Methodology for the Model‐based Development of Embedded Automotive Control Software

    8.3.1 Towards an Integrated Methodology for the Model‐based Development of Embedded Automotive Control Software von Buhr, Kerstin, Conrad, Mirko, Dörr, Heiko, Fey, Ines

    Veröffentlicht in INCOSE International Symposium

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Systematic Model-Based Testing of Embedded Automotive Software

    Systematic Model-Based Testing of Embedded Automotive Software von Conrad, Mirko, Fey, Ines, Sadeghipour, Sadegh


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Mapping between code coverage and model coverage for a design

    Mapping between code coverage and model coverage for a design von CONRAD MIRKO, ALDRICH WILLIAM J

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Safety-Critical Software Development Using Automatic Production Code Generation

    Safety-Critical Software Development Using Automatic Production Code Generation von Erkkinen, Tom, Conrad, Mirko

    Veröffentlicht in SAE transactions

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Mapping between code coverage and model coverage for a design

    Mapping between code coverage and model coverage for a design von CONRAD MIRKO, ALDRICH WILLIAM J

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: