Formal methods for protocol engineering and distributed systems: forte xii / pstv xix'99
Auteur :
Wu, Jianping
ISBN :
9780792386469
Date de publication :
1 sept. 1999
Dimensions :
23,4 x 15,6 x 2,8 cm
Poids :
896 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. This work presents: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience, and case studies.