Zum Inhalt springen

  2. Friese, Max Jonas [VerfasserIn]

    Modeling and Analysis of Automotive Cyber-physical Systems - Formal Approaches to Latency Analysis in Practice

    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.

    Kiel: Universitätsbibliothek Kiel, 2021

    Erschienen in: Kiel Computer Science Series (KCSS) ; 2021/2

  3. Kittelmann, Alexander [VerfasserIn] ; Schaefer, Ina [AkademischeR BetreuerIn]; Hähnle, Reiner [AkademischeR BetreuerIn]; Johnsen, Einar Broch [AkademischeR BetreuerIn]

    A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems

    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.

    Braunschweig: Universitätsbibliothek Braunschweig, 2022

  4. Fellmuth, Joachim [VerfasserIn] ; Glesner, Sabine [AkademischeR BetreuerIn]; Glesner, Sabine [Sonstige Person, Familie und Körperschaft]; Nordholz, Jan [Sonstige Person, Familie und Körperschaft]; Altmeyer, Sebastian [Sonstige Person, Familie und Körperschaft]

    Securing real-time cyber-physical systems using artificial software diversity

    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.

    Berlin: Technische Universität Berlin, 2021

  5. Zoppelt, Markus [VerfasserIn] ; Schröder, Dominique [AkademischeR BetreuerIn]; Tavakoli Kolagari, Ramin [AkademischeR BetreuerIn]; Schröder, Dominique [Sonstige Person, Familie und Körperschaft]; Tavakoli Kolagari, Ramin [Sonstige Person, Familie und Körperschaft]; Freiling, Felix C. [Sonstige Person, Familie und Körperschaft]; Fischer, Georg [Sonstige Person, Familie und Körperschaft]

    Software Security Design for Cyber-Physical Systems

    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.

    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2021

  8. Kacianka, Severin [VerfasserIn] ; Pretschner, Alexander [AkademischeR BetreuerIn]; Pretschner, Alexander [Sonstige Person, Familie und Körperschaft]; Leue, Stefan [Sonstige Person, Familie und Körperschaft]

    Accountability for Cyber-Physical Systems

    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.

    München: Universitätsbibliothek der TU München, 2022

  9. Kochdumper, Niklas [VerfasserIn] ; Althoff, Matthias [AkademischeR BetreuerIn]; Althoff, Matthias [Sonstige Person, Familie und Körperschaft]; Kretinsky, Jan [Sonstige Person, Familie und Körperschaft]

    Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems

    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.

    München: Universitätsbibliothek der TU München, 2022

  10. Neubauer, Katrin [VerfasserIn] ; Yahyapour, Ramin [AkademischeR BetreuerIn]; Hackenberg, Rudolf [Sonstige Person, Familie und Körperschaft]; Hogrefe, Dieter [Sonstige Person, Familie und Körperschaft]; Grabowski, Jens [Sonstige Person, Familie und Körperschaft]

    A Process-Oriented Framework for Security Assessment of Cyber-Physical Systems

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2022

  11. Schneider, Peter [VerfasserIn] ; Eckert, Claudia [AkademischeR BetreuerIn]; Eckert, Claudia [Sonstige Person, Familie und Körperschaft]; Sigl, Georg [Sonstige Person, Familie und Körperschaft]

    Anomaly Detection for Cyber-Physical Systems

    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.

    München: Universitätsbibliothek der TU München, 2021

  14. Lavaei, Abolfazl [VerfasserIn] ; Buss, Martin [AkademischeR BetreuerIn]; Soudjani, Sadegh [Sonstige Person, Familie und Körperschaft]; Zamani, Majid [Sonstige Person, Familie und Körperschaft]; Buss, Martin [Sonstige Person, Familie und Körperschaft]

    Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques

    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.

    München: Universitätsbibliothek der TU München, 2019

  18. Sindhwani, Nidhi [HerausgeberIn]; Anand, Rohit [HerausgeberIn]; Niranjanamurthy, M. [HerausgeberIn]; Chander Verma, Dinesh [HerausgeberIn]; Valentina, Emilia Balas [HerausgeberIn]

    IoT Based Smart Applications - [1st ed. 2023.]

    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.

    Cham: Springer International Publishing, 2023. ; Cham: Imprint: Springer, 2023.

    Erschienen in: EAI/Springer Innovations in Communication and Computing

  19. Ahmad, Ishfaq [HerausgeberIn]; Ye, Jun [HerausgeberIn]; Liu, Weidong [HerausgeberIn]

    The 2021 International Conference on Smart Technologies and Systems for Internet of Things : STSIoT2021 - [1st ed. 2023.]

    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.

    Singapore: Springer Nature Singapore, 2023. ; Singapore: Imprint: Springer, 2023.

    Erschienen in: Lecture Notes on Data Engineering and Communications Technologies ; 122

  20. Jain, Raj [HerausgeberIn]; Travieso, Carlos M. [HerausgeberIn]; Kumar, Sanjeev [HerausgeberIn]

    Cybersecurity and Evolutionary Data Engineering : Select Proceedings of the 2nd International Conference, ICCEDE 2022 - [1st ed. 2023.]

    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.

    Singapore: Springer Nature Singapore, 2023. ; Singapore: Imprint: Springer, 2023.

    Erschienen in: Lecture Notes in Electrical Engineering ; 1073