Mostra el registre d'ítem simple

Verificació de sistemes concurrents basada en Constraint-Programming

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
dc.audience.degreeENGINYERIA INFORMÀTICA (Pla 2003)


Fitxers d'aquest items

Thumbnail
Nom:
65626.pdf
Mida:
3,113Mb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple