Formal Modeling and Analysis of Timed Systems David N. Jansen & Pavithra Prabhakar: другие книги

Quantitative Evaluation of Systems

2020