Inhaltstyp
Kategorien
Searched for dynamic+transportation+systems.
Found 1 result in 10 milliseconds.
Displaying results 1 to 1 of 1.
-
Scientific Publications (peer reviewed)
- /en/about-the-ait/center/center-for-digital-safety-security/bookshelf/scientificpublicationspeerreviewed
Formal Methods in System Design, 3 (2019), 54; S. 279 - 335 E. Schoitsch, D. Schneider, J. Braband, S. Uhrig, S. Katzenbeisser " Safety and Security Coengineering in Embedded Systems (Editorial) " Security [...] 3 (2019) S. Schauer, N. Polemi, M. Haralambos " MITIGATE: a dynamic supply chain cyber risk assessment methodology " Journal of Transportation Security, vol 12 (2019), S. 1 - 35 C. Schmittner, M. Latzenhofer [...] Korosec, W. Krenn, C. Mateis, R. Schlick, R. Schumi " Learning and statistical model checking of system response times " Software Quality Journal, 27 (2019), S. 757 - 795 X. Cheng, M. Sarihan, K. Chang
- 1