Formal Modeling and Analysis of Timed Systems
Catalin Dima
Formal Modeling and Analysis of Timed Systems - Springer Nature 2021 - Lecture Notes in Computer Science .
One time purchase [Perpetual access]
9783030850371
Computer Science
Formal Modeling and Analysis of Timed Systems - Springer Nature 2021 - Lecture Notes in Computer Science .
One time purchase [Perpetual access]
9783030850371
Computer Science