Normal view MARC view ISBD view

Formal Modeling and Analysis of Timed Systems

Nathalie Bertrand, Nils Jansen

Formal Modeling and Analysis of Timed Systems - Springer Springer 2020

ISBN: 9783030576288

Source: EBOOK