Boek
This text is written to address the specification and verification of communication protocol. It addresses both the needs to specify a protocol using an FDT, and to verify its correctness in order to uncover specification errors in the early stage of a protocol development process. «
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Er zijn nog geen recensies voor dit boek.