Book
Validation of Communications Systems with Sdl
This title provides a step-by-step guide to validating a simplified protocol stack from interactive simulation to proof of properties using reachability analysis combined with observers. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780470852866
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Validation of Communications Systems with Sdl by Laurent Doldi
Validation of Communications Systems with Sdl has been reviewed 0 times. The average score is . 0 people has read the book.
There are no reviews for this book yet.
Idea box
