Zum Inhalt springen

  3. Raskin, Jean-François [HerausgeberIn]; Raskin, Jean François [Sonstige Person, Familie und Körperschaft]; Thiagarajan, P. S. [Sonstige Person, Familie und Körperschaft] ; FORMATS 5 2007 Salzburg

    Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings

    Bücher
    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 ; 4763

  4. Asarin, Eugene [HerausgeberIn]; Bouyer, Patricia [Sonstige Person, Familie und Körperschaft] ; FORMATS 4 2006 Paris

    Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25 - 27, 2006; proceedings

    Bücher
    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, 2006

    Erschienen in: Lecture notes in computer science ; 4202

  6. Mische, Jörg [VerfasserIn]

    Echtzeitfähige Ablaufplanung für simultan mehrfädige Prozessoren ; Real-time Scheduling for Simultaneous Multithreaded Processors

    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.

    Augsburg University Publication Server (OPUS), 2012-02-02

  9. Gutknecht, Jonathan [VerfasserIn]

    Geschwindigkeitsregelung und Orientierungssteuerung in einem autonomen Modellfahrzeug

    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.

    OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2009-07-03

  10. Albers, Karsten [Sonstige Person, Familie und Körperschaft]; Kollmann, Steffen [Sonstige Person, Familie und Körperschaft]; Slomka, Frank [Sonstige Person, Familie und Körperschaft]

    Limiting event streams: a general model to describe dependencies in distributed hard real-time 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.

    Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

  11. Albers, Karsten [VerfasserIn]; Kollmann, Steffen [VerfasserIn]; Slomka, Frank [VerfasserIn]

    Limiting event streams: a general model to describe dependencies in distributed hard real-time 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.

    Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

  19. Kluge, Florian [VerfasserIn]

    Autonomic- und Organic-Computing-Techniken für eingebettete Echtzeitsysteme ; Autonomic and Organic Computing Techniques for Embedded Real-Time 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.

    Augsburg University Publication Server (OPUS), 2011-01-21

  20. Ferdinand, Christian [Sonstige Person, Familie und Körperschaft] ; Absint Angewandte Informatik GmbH

    SuReal : Schlussbericht ; Sicherheitsgarantien unter Realzeitanforderungen ; Laufzeit des Vorhabens: 01.05.2006 - 30.04.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.

    Saarbrücken [u.a.], 2009