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

53.49 EUR

Ein tiefgreifendes Buch über formale Modellierung, Analyse von zeitkritischen und fehlertoleranten Systemen, das Erkenntnisse aus internationalen Konferenzen zusammenführt und neue Ansätze für zuverlässige Softwareentwicklung präsentiert.

Gesponsert

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

SpringerLink DE

53.49 EUR

01-06-2026 16:05:11

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

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Ähnliche Produkte

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)

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Simple Formal Logic: With Common-Sense Symbolic Techniques

Formal Description Techniques and Protocol Specification, Testing and Verification

Formal Techniques for Distributed Objects, Components, and Systems