Normal view MARC view ISBD view

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

Formal Modeling and Analysis of Timed Systems - Springer Springer 2017

ISBN: 9783319657653

Source: EBOOK