Skip to contents

  3. Kittelmann, Alexander [Author] ; Schaefer, Ina [Degree supervisor]; Hähnle, Reiner [Degree supervisor]; Johnsen, Einar Broch [Degree supervisor]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Braunschweig: Universitätsbibliothek Braunschweig, 2022

  5. Zoppelt, Markus [Author] ; Schröder, Dominique [Degree supervisor]; Tavakoli Kolagari, Ramin [Degree supervisor]; Schröder, Dominique [Other]; Tavakoli Kolagari, Ramin [Other]; Freiling, Felix C. [Other]; Fischer, Georg [Other]

    Software Security Design for Cyber-Physical Systems

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: EAI/Springer Innovations in Communication and Computing

  12. Kochdumper, Niklas [Author] ; Althoff, Matthias [Degree supervisor]; Althoff, Matthias [Other]; Kretinsky, Jan [Other]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  13. Neubauer, Katrin [Author] ; Yahyapour, Ramin [Degree supervisor]; Hackenberg, Rudolf [Other]; Hogrefe, Dieter [Other]; Grabowski, Jens [Other]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  17. Lavaei, Abolfazl [Author] ; Buss, Martin [Degree supervisor]; Soudjani, Sadegh [Other]; Zamani, Majid [Other]; Buss, Martin [Other]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

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

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture Notes in Electrical Engineering ; 1073