Normal view MARC view ISBD view

Formal Modeling and Analysis of Timed Systems

Étienne André, Mariëlle Stoelinga

Formal Modeling and Analysis of Timed Systems - Springer Springer 2019

ISBN: 9783030296629

Source: EBOOK