Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Information Flow Analysis of Discrete Embedded Control System Models
2020
    Datensatz exportieren als...
  • BibTeX
Information Flow Analysis of Combined Simulink/Stateflow Models
2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2018, p.223-228
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Rapid virtual prototyping of real-time systems using predictable platform characterizations
Proceedings of the 2013 Forum on specification and Design Languages (FDL), 2013, p.1-8
2013
Open Access
    Datensatz exportieren als...
  • BibTeX
Timed Path Conditions in MATLAB/Simulink
System Level Design from HW/SW to Memory for Embedded Systems, p.64-76
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Rapid virtual prototyping of real-time systems using predictable platform characterizations
Forum on Specification Design Languages (FDL) 2013, 2013, p.6646652
2013
Link zum Volltext
Verfügbarkeit prüfen
1 – 5 von 5
Suche als RSS-Feed
Aktive Filter
PublikationsformArtikel
Suchergebnisse filtern
Filter anzeigen