Alta reperibilità
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII '97
- Editore:
Springer US
- EAN:
9781475752601
- ISBN:
1475752601
- Pagine:
- 568
- Formato:
- Paperback
- 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