Show simple item record

dc.contributorCarmona Vargas, Josep
dc.contributor.authorRoyuela Alcazar, Josep Maria
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2010-07-16T10:52:48Z
dc.date.available2010-07-16T10:52:48Z
dc.date.issued2010-07-12
dc.identifier.urihttp://hdl.handle.net/2099.1/9458
dc.description.abstractL'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.
dc.language.isocat
dc.publisherUniversitat Politècnica de Catalunya
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.lcshComputer software -- Verification
dc.subject.otherSistemes concurrents
dc.subject.otherXarxes de Petri
dc.titleVerificació de sistemes concurrents basada en Constraint-Programming
dc.typeMaster thesis (pre-Bologna period)
dc.subject.lemacProgramari -- Verificació
dc.identifier.slug65626
dc.rights.accessOpen Access
dc.date.updated2010-07-16T10:17:04Z
dc.audience.educationlevelEstudis de primer/segon cicle
dc.audience.mediatorFacultat d'Informàtica de Barcelona


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder