SUCHE
Inhaltstyp
Kategorien
Gesucht nach mobility systems.
Es wurde 1 Ergebnis in 6 Millisekunden gefunden.
Zeige Ergebnisse 1 bis 1 von 1.
-
Wissenschaftliche Publikationen (peer reviewed)
- /ueber-das-ait/center/center-for-digital-safety-security/bookshelf/wissenschaftlichepublikationenpeerreviewed
-case Generation Via Heuristic-guided Branching Search " ACM Transactions on Embedded Computing Systems , 1 (2019), 18; S. 4:1 - 4:28 T. Ferrère, O. Maler, D. Nickovic, A. Pnueli " From Real-time Logic [...] M. Matschnig, B. Fischer, J. Martinez " The AQUAS ECSEL Project Aggregated Quality Assurance for Systems : Co- Engineering Inside and Across the Product Life Cycle " Microprocessors and Microsystems, 69 [...] Schneider, J. Braband, S. Uhrig, S. Katzenbeisser " Safety and Security Coengineering in Embedded Systems (Editorial) " Security And Communication Networks , Special Issue (2019), 2 S. B. Schrenk, F. Karinou
- 1