Verwandte Artikel zu Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings: 1486 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2008
- ISBN 10 3540650032
- ISBN 13 9783540650034
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten356
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 53,49
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Artikel-Nr. 9783540650034
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings (Lecture Notes in Computer Science, 1486)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540650034_new
Anzahl: Mehr als 20 verfügbar