Verificacions mitjançant Model Checking a través d'UPPAAL

Verificacions mitjançant Model Checking a través d'UPPAAL

Bibliographic Details
Main Author: Oñate Ferriz, Víctor (-)
Corporate Author: Escola Universitària d'Enginyeria Tècnica de Telecomunicació La Salle (-)
Other Authors: Agustín Zaballos, Juan
Format: Thesis
Language:Catalán
Published: 2009
Subjects:
Programes d'ordinador > Verificació > TFC
Treballs de fi d'estudis.
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991007634319706719

Similar Items

Similar Items