/https://covers.openlibrary.org/b/id/90888-L.jpg)
Design and validation of computer protocols
por
How to design communication protocols using the Promela language and check them with the Spin model checker.
- ● 96% match for you
- ● science & technology
the long version
How to design communication protocols using the Promela language and check them with the Spin model checker.
M
Margaret's verdict
"How to design communication protocols using the Promela language and check them with the Spin model checker."
highlights
what readers held onto
No highlights yet. Be the first.
discussion
what readers said
No reviews yet. Finish it; tell us what you found.
/https://covers.openlibrary.org/b/id/12446181-L.jpg)
/https://covers.openlibrary.org/b/id/14553521-L.jpg)
/https://covers.openlibrary.org/b/id/10492586-L.jpg)
/https://covers.openlibrary.org/b/id/8169164-L.jpg)
/https://covers.openlibrary.org/b/id/8703583-L.jpg)
/https://covers.openlibrary.org/b/id/14946303-L.jpg)