Exploració per tema "Xarxes de Petri"
Ara es mostren els items 10-10 de 10
-
Verificació de sistemes concurrents basada en Constraint-Programming
(Universitat Politècnica de Catalunya, 2010-07-12)
Projecte/Treball Final de Carrera
Accés obertL'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.