Recenzii Unfoldings

Unfoldings
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. citește totul 

Recenzii

0
Recenziile verificate sunt marcate în mod explicit, celelalte nu sunt verificate.
Aici nu sunt deloc recenzii. Fiți primul și scrieți-o pe a voastră!