Ara es mostren els items 10-10 de 10

    • Verificació de sistemes concurrents basada en Constraint-Programming 

      Royuela Alcazar, Josep Maria (Universitat Politècnica de Catalunya, 2010-07-12)
      Projecte/Treball Final de Carrera
      Accés obert
      L'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.