Formal Description Techniques and Protocol Specification, Testing and Verification
Atsushi Togashi, Norio Shiratori, Tadanori Mizuno, Teruo Higashino
Springer-Verlag New York Inc., 2013
238,25 €On orderDelivery: 2-3 weeks
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).
- ISBN-13
- 9781475752601
- ISBN-10
- 1475752601
- Publisher
- Springer-Verlag New York Inc.
- Year
- 2013
- Publication date
- 2013-01-11
- Pages
- 550
- Dimensions
- 235x155x