Alta reperibilità
Formal Description Techniques and Protocol Specification, Testing and Verification
Forte X / Pstv Xvii '97
- Editore:
Springer US
- EAN:
9780412820601
- ISBN:
0412820609
- Pagine:
- 580
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Formal Description Techniques and Protocol Specification, Testing and Verification
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). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti