Now showing items 1-1 of 1

  • Verificació de sistemes concurrents basada en Constraint-Programming 

    Royuela Alcazar, Josep Maria (Universitat Politècnica de Catalunya, 2010-07-12)
    Master thesis (pre-Bologna period)
    Open Access
    L'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.