Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/9458
|
Título:
|
Verificació de sistemes concurrents basada en Constraint-Programming
|
|
Autor/a:
|
Royuela Alcazar, Josep Maria
|
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Carmona Vargas, Josep |
|
Abstract:
|
L'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming. |
|
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Programació
-Computer software -- Verification
-Sistemes concurrents
-Xarxes de Petri
-Programari -- Verificació |
|
Derechos:
|
|
|
Tipo de documento:
|
Trabajo/Proyecto fin de carrera |
|
Editor:
|
Universitat Politècnica de Catalunya
|
|
Compartir:
|
|
Mostrar el registro completo del ítem
