Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems المزيد من كتب Pavithra Prabhakar & Andrea Vandin

Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
٢٠١٨
Numerical Software Verification Numerical Software Verification
٢٠١٧