Ernst-Rüdiger Olderog: Real-Time Systems

Cover: 9780521883337 | Real-Time Systems | Ernst-Rüdiger Olderog (u. a.) | Buch | Englisch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

99,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.

Über den Autor

E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).

Inhaltsverzeichnis

Preface; 1. Introduction; 2. Duration calculus ; 3. Properties and subsets of DC; 4. Timed automata; 5. PLC-automata; 6 Automatic verification; Appendix; Notations; Bibliography; Index.

Details

Erscheinungsjahr:	2008
Fachbereich:	Datenkommunikation, Netze & Mailboxen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780521883337
ISBN-10:	0521883334
Sprache:	Englisch
Einband:	Gebunden
Autor:	Olderog, Ernst-Rüdiger Dierks, Henning
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	250 x 175 x 23 mm
Von/Mit:	Ernst-Rüdiger Olderog (u. a.)
Erscheinungsdatum:	11.09.2008
Gewicht:	0,764 kg

Artikel-ID: 101719491

Über den Autor

E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).

Inhaltsverzeichnis

Preface; 1. Introduction; 2. Duration calculus ; 3. Properties and subsets of DC; 4. Timed automata; 5. PLC-automata; 6 Automatic verification; Appendix; Notations; Bibliography; Index.

Details

Erscheinungsjahr:	2008
Fachbereich:	Datenkommunikation, Netze & Mailboxen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780521883337
ISBN-10:	0521883334
Sprache:	Englisch
Einband:	Gebunden
Autor:	Olderog, Ernst-Rüdiger Dierks, Henning
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	250 x 175 x 23 mm
Von/Mit:	Ernst-Rüdiger Olderog (u. a.)
Erscheinungsdatum:	11.09.2008
Gewicht:	0,764 kg