Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings / by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

Roever, Willem-Paul de ; Vytopil, Jan

Englisch

Berlin, Heidelberg : Springer Berlin Heidelberg, 1994

Online-Ressource

Konferenzschrift (1994, Lübeck)

Buchausg. u.d.T.: Langmaack, Hans *1934-*: Formal techniques in real time and fault tolerant systems. - Berlin : Springer, 1994. - XIV, 787 S.

978-3-540-48984-9

Weitere Ausgaben: 978-3-540-58468-1 (Druckausgabe)

DOI: 10.1007/3-540-58468-4

*Echtzeitsystem / Fehlertoleranz

*Computer science ; Logic design ; Memory management (Computer science) ; Microprogramming ; Software engineering ; Computer Science

Dewey Dezimal-Klassifikation: 004/.33;

Regensburger Verbund-Klassifikation: SS 1800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 1800-SS 2100 Kongressberichte / Sammelstelle bei nicht spezifizierter Aufstellung

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 68-06

https://zbmath.org/?q=an:0803.00029 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.