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 ».
Wall
There are no messages on Validation of Communications Systems with Sdl wall yet.
