Formal description techniques and protocol specification, testing and verification: forte x / pstv xvii ’97
Auteur :
Togashi, Atsushi / Mizuno, Tadanori / Shiratori, Norio / Higashino, Teruo
Éditeur :
Springer-Verlag New York Inc.
ISBN :
9781475752601
Date de publication :
11 janv. 2013
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).