Skip to contents

  1. Obermaisser, Roman [Editor]; Nah, Yunmook [Other]; Puschner, Peter [Other]; Rammig, Franz J. [Other] ; Workshop on Software Technologies for Future Embedded and Ubiquitous Systems 5 2007 Thira

    Software technologies for embedded and ubiquitous systems : 5th IFIP WG 10.2 international workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007 ; revised papers

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4761

  3. Halang, Wolfgang A. [Author] ; Holleczek, Peter [Other]

    Software-intensive verteilte Echtzeitsysteme : Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009

    Published in: Informatik aktuell- SpringerLink ; Bücher

  5. Mehiaoui, Asma [Author] ; Brest [Contributor]; Babau, Jean-Philippe [Contributor]

    Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement ; Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2014-06-16

  10. Yu, Yang; Dong, Qi; Luo, Zhipeng; Chen, Hao; Deng, Jun; Guan, Wei

    Algorithms and Architectures for Parallel Processing: A Security-Critical Task Management Method for Distributed Real-Time Systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer International Publishing, 2015

    Published in: Algorithms and Architectures for Parallel Processing

  12. Toennemann, Jan; Rausch, Andreas; Howar, Falk; Cool, Benjamin

    Formal Methods for Industrial Critical Systems: Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer International Publishing, 2018

    Published in: Formal Methods for Industrial Critical Systems