Formal Modeling and Analysis of Timed Systems المزيد من كتب Sergiy Bogomolov & David Parker

Numerical Software Verification

٢٠١٧