Normal view MARC view ISBD view

Formal Modeling and Analysis of Timed Systems

Catalin Dima, Mahsa Shirmohammadi

Formal Modeling and Analysis of Timed Systems - Springer Springer 2021

ISBN: 9783030850371

Source: EBOOK