Recenzja 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. przeczytaj całość 

Recenzja

0
Zweryfikowane recenzje są wyraźnie oznaczone, pozostałe nie są zweryfikowane.
Nie ma żadnych recencji. Bądź pierwszy i napisz swoją!