61–70 of 87 hits
|

    Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich

    Mutz, Martin | TIBKAT | 2005
    Keywords: Softwareentwicklung

      Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich

      Mutz, Martin | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2005
      Keywords: Softwareentwicklung

    Forms 2000 - Formale Techniken für die Eisenbahnsicherung

    Forms | TIBKAT | 2000
    Keywords: Softwareentwicklung

      Forms 2000 - Formale Techniken für die Eisenbahnsicherung

      Schnieder, Eckehard | SLUB | 2000
      Keywords: Softwareentwicklung

    Simulation und Test für die Automobilelektronik IV

    Tagung Simulation und Test für die Automobilelektronik | TIBKAT | 2012
    Keywords: Softwareentwicklung

      Simulation und Test für die Automobilelektronik IV

      Gühmann, Clemens | SLUB | 2012
      Keywords: Softwareentwicklung

    Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software

    Paulus, Carsten | TIBKAT | 2011
    Keywords: Softwareentwicklung

      Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software

      Paulus, Carsten | SLUB | 2011
      Keywords: Softwareentwicklung

    Bayesian optimization in robot learning : automatic controller tuning and sample-efficient methods

    Free access
    Marco-Valle, Alonso | TIBKAT | 2020
    Keywords: Softwareentwicklung

    Ambrosia : ein Echtzeit-Betriebssystem für Automobil-Steuergeräte

    Plagge, Frank | TIBKAT | 1998
    Keywords: Softwareentwicklung