Formal Modeling and Analysis of Timed Systems Mehr Bücher von David N. Jansen & Pavithra Prabhakar

Quantitative Evaluation of Systems

2020