Results 331 to 340 of about 58,575,561 (400)

Model Checking

Handbook of Finite State Based Models and Applications, 2018
ion ● Approximation ○ M’ approximates M ○ Use M’ to deduce properties of ...
D. Peled   +2 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy