Zum Inhalt springen

  1. Obermaisser, Roman [Herausgeber:in]; Nah, Yunmook [Sonstige Person, Familie und Körperschaft]; Puschner, Peter [Sonstige Person, Familie und Körperschaft]; Rammig, Franz J. [Sonstige Person, Familie und Körperschaft] ; 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

    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; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4761

  3. Halang, Wolfgang A. [Verfasser:in] ; Holleczek, Peter [Sonstige Person, Familie und Körperschaft]

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

    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, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009

    Erschienen in: Informatik aktuell- SpringerLink ; Bücher

  5. Mehiaoui, Asma [Verfasser:in] ; Brest [Mitwirkende:r]; Babau, Jean-Philippe [Mitwirkende:r]

    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

    Hochschulschriften
    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.

    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

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2015

    Erschienen in: Algorithms and Architectures for Parallel Processing (2015), Seite 454-464

  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

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2018

    Erschienen in: Formal Methods for Industrial Critical Systems (2018), Seite 67-82