Formal Modeling and Analysis of Timed Systems المزيد من كتب David N. Jansen & Pavithra Prabhakar

Quantitative Evaluation of Systems

٢٠٢٠