Normal view MARC view ISBD view

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov, David Parker

Formal Modeling and Analysis of Timed Systems - Springer Springer 2022

ISBN: 9783031158391

Source: EBOOK