Zum Inhalt springen

  1. Cullmann, Christoph [VerfasserIn]; Ferdinand, Christian [VerfasserIn]; Gebhard, Gernot [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Kästner, Daniel [VerfasserIn]; Karos, Thomas [VerfasserIn] ; Absint Angewandte Informatik GmbH

    Schlussbericht zum Verbundprojekt "Integrierte energiesparende Multi-Prozessorplattform für autonomes elektrisches Fahren - EMPHASE" : Teilprojekt "Erweiterung von Werkzeugen zur statischen Analyse von Software gemäß den Anforderungen des Projekts" : Laufzeit des Vorhabens: 01.01.2017-31.03.2020 - [Version 1.0]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: AbsInt Angewandte Informatik GmbH, 13.08.2020

  2. Ferdinand, Christian [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Herter, Jörg [VerfasserIn]; Karos, Thomas [VerfasserIn]; Martin, Florian [VerfasserIn] ; Absint Angewandte Informatik GmbH

    Schlussbericht zum Verbundprojekt "Qualitätssicherung von cyber-physischen Systemen unter integrativer Berücksichtigung mehrerer nicht-funktionaler Aspekte" Aggregated Quality Assurance for Systems - AQUAS : Teilprojekt "Statische Analyse der Sicherheit eines Realzeitbetriebssystems" : Laufzeit des Vorhabens: 01.04.2017-30.06.2020 - [Version 1.0]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: AbsInt Angewandte Informatik GmbH, 17.12.2020

  3. Ferdinand, Christian [Sonstige Person, Familie und Körperschaft] ; Absint Angewandte Informatik GmbH

    SuReal : Schlussbericht ; Sicherheitsgarantien unter Realzeitanforderungen ; Laufzeit des Vorhabens: 01.05.2006 - 30.04.2009

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken [u.a.], 2009

  4. Brauer, Jörg [VerfasserIn]; Lukoschus, Ben [VerfasserIn]; Ferdinand, Christian [VerfasserIn]; Grafe, Nicolas [VerfasserIn]; Hahn, Sebastian [VerfasserIn]; Kästner, Daniel [VerfasserIn] ; Verified Systems International GmbH, Absint Angewandte Informatik GmbH, Technische Universität Kaiserslautern

    PROFORMA - Analyse der PROpagation von Fehlern durch FORMAle Methoden : Schlussbericht : BMBF-Projekt im Rahmen der BMBF-Förderinitiative KMU-innovativ (Informations- und Kommunikationstechnologie) : Laufzeit des Vorhabens: 1. Februar 2018-31. Januar 2020

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bremen: [Verified Systems International GmbH], 28. Juli 2020

  5. Heckmann, Reinhold [VerfasserIn]; Otter, Martin [VerfasserIn]; Pfeiffer, Andreas [VerfasserIn]; Niere, Jörg [VerfasserIn]; Spannaus, Paul [VerfasserIn]; Blochwitz, Torsten [VerfasserIn]; Malz, Christoph [VerfasserIn]; Werther, Kai [VerfasserIn]; Reicherdt, Robert [VerfasserIn]; Lenord, Oliver [VerfasserIn]; Potthast, Christian [VerfasserIn] ; Robert Bosch GmbH, Deutsches Zentrum für Luft- und Raumfahrt Institut für Systemdynamik und Regelungstechnik, Absint Angewandte Informatik GmbH, dSPACE GmbH, Elektronische Fahrwerksysteme GmbH, ESI ITI GmbH, ETAS GmbH, PikeTec GmbH

    EMPHYSIS - Embedded systems with physical models in the production code software : Schlussbericht : Berichtszeitraum: 01.09.2017-28.02.2021

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: [Robert Bosch GmbH], 05.08.2021

  6. Sandmann, Timo [VerfasserIn] ; Becker, Jürgen [MitwirkendeR] Karlsruher Institut für Technologie Institut für Technik der Informationsverarbeitung, Absint Angewandte Informatik GmbH, Accemic Technologies, HENSOLDT Sensors, Airbus Group Innovations, Audi AG

    ARAMIS II - Entwicklungsprozesse, Werkzeuge, Plattformen für Sicherheitskritische Multicoresysteme : Schlussbericht : Laufzeit des Vorhabens: 01.10.2016-30.09.2019 - [Version 1.0]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Karlsruhe: [Karlsruher Institut für Technologie], 05.03.2020

  7. Paule, Anton [VerfasserIn]; Viehl, Alexander [VerfasserIn]; Heckmann, Reinhold [VerfasserIn]; Köpf, Wolfgang [VerfasserIn]; Brockmeyer, Udo [VerfasserIn]; Dörr, Heiko [VerfasserIn]; Sieweck, Philipp [VerfasserIn]; Schmidt, Bernard [VerfasserIn]; Sinz, Carsten [VerfasserIn] ; Robert Bosch GmbH, FZI Forschungszentrum Informatik, OFFIS, Absint Angewandte Informatik GmbH, Assystem Germany GmbH, Daimler AG, Model Engineering Solutions GmbH, BTC Embedded Systems AG, Christian-Albrechts-Universität zu Kiel, Technische Universität München, Karlsruher Institut für Technologie

    Affordable Safe & Secure Mobility Evolution : Schlussbericht : BMBF-Verbundprojekt: ASSUME : Projektlaufzeit: 1. September 2015-31. August 2018

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Karlsruhe]: FZI Forschungszentrum Informatik (FZI), 02.04.2019