Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... Notes in Computer Science, 3253, Band 3253)

Ein Leitfaden, der die neuesten formalen Methoden zur Analyse von Echtzeit‑ und fehlertoleranten Systemen aus internationalen Konferenzen zusammenfà ...
Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 30-04-2026 14:22:01
Siehe Produktangebot

Allgemein

MPN
1
ISBN
3540231676

Eigenschaften

Ähnliche Produkte

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Produkt anzeigen
Drechsler, Rolf: Design for Testability, Debug and Reliability
Drechsler, Rolf: Design for Testability, Debug and Reliability
Produkt anzeigen
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
Produkt anzeigen
Simple Formal Logic: With Common-Sense Symbolic Techniques
Simple Formal Logic: With Common-Sense Symbolic Techniques
Produkt anzeigen
Formal Description Techniques and Protocol Specification, Testing and Verification
Formal Description Techniques and Protocol Specification, Testing and Verification
Produkt anzeigen
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)
Produkt anzeigen
Menü