Skip to contents

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

View online
Schließen

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
Koymans, Ronald L. [Author]

Specifying message passing and time-critical systems with temporal logic

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 651
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

View online
Schließen

Access

... to E-book via DOI (Volltext)

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
Koymans, Ron [Author]

Specifying Message Passing and Time-Critical Systems with Temporal Logic

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

Published in: Lecture notes in computer science ; 651
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

View online
Schließen

Links

... to thesis

Close

Bookmarks

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

theses.fr, 2014-06-16
Ehret, Jürgen [Author]

Validation of safety critical distributed real-time systems

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Wedde, Horst F.; Böhm, Sabine

Adaptive Distributed Real-Time Transaction Management in Safety-Critical Systems

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2000

Published in: IFAC Proceedings Volumes, 33 (2000) 7, Seite 81-87
Raja, Fawad Riasat; Chen, David; Hexel, Rene

A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems

View online
Schließen

Access

Close

Bookmarks

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

Institute of Electrical and Electronics Engineers (IEEE), 2022

Published in: IEEE Access, 10 (2022), Seite 48049-48070
Camier, Jean-Sylvain; Chabrol, Damien; David, Vincent; Aussagués, Christophe

A SAFE AND EFFICIENT PROTOCOL FOR OASIS-BASED DISTRIBUTED SAFETY-CRITICAL REAL-TIME SYSTEMS

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2007

Published in: IFAC Proceedings Volumes, 40 (2007) 22, Seite 245-248
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

View online
Schließen

Access

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 (2015), Seite 454-464
Alijani, Ghasem S.; Wedde, Horst F.

Advances in Computing and Information — ICCI '91: Enhanced reliability in scheduling critical tasks for hard real-time distributed systems

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 1991

Published in: Advances in Computing and Information — ICCI '91 (1991), Seite 547-558
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

View online
Schließen

Access

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 (2018), Seite 67-82

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication