Formal Modeling and Analysis of Timed Systems Más libros de David N. Jansen & Pavithra Prabhakar

Quantitative Evaluation of Systems

2020