Erschienen: 14.09.1988 Abbildung von Joseph | Formal Techniques in Real-Time and Fault-Tolerant Systems | 1988 | Proceedings of a Symposium, Wa... | 331

Joseph

Formal Techniques in Real-Time and Fault-Tolerant Systems

Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1988. Buch. vIII, 232 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-50302-6

Format (B x L): 15,5 x 23,5 cm

Gewicht: 760 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 331

Produktbeschreibung

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...