Verificación de protocolos mediante model checking

Verificación de protocolos mediante model checking

Bibliographic Details
Main Author: Angulo Jordà, David (-)
Corporate Author: Escola Universitària d'Enginyeria Tècnica de Telecomunicació La Salle (-)
Other Authors: Zaballos Diego, Agustín
Format: Thesis
Language:Catalán
Published: 2008
Subjects:
Protocols de xarxes d'ordinadors > TFC
Telecomunicació, Sistemes de > TFC
Treballs de fi d'estudis.
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991007778479706719

Similar Items

Similar Items