Formal description techniques and protocol specification, testing and verification
Auteur :
Budkowski, Stan
ISBN :
9780412847608
Date de publication :
1 oct. 1998
Dimensions :
23,4 x 15,6 x 2,6 cm
Poids :
1890 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Addresses formal description techniques applicable to distributed systems and communication protocols. This title presents the state of the art in theory, application, tools and industrialization of FDTs. It features FDT-based system and protocol engineering, FDT-application to distributed systems, and protocol engineering.