Normal view MARC view ISBD view

Formal Modeling and Analysis of Timed Systems

David N. Jansen, Pavithra Prabhakar

Formal Modeling and Analysis of Timed Systems - Springer Springer 2018

ISBN: 9783030001513

Source: EBOOK