Numerical Software Verification المزيد من كتب Sergiy Bogomolov, Matthieu Martel & Pavithra Prabhakar

Formal Modeling and Analysis of Timed Systems

٢٠٢٢