A practical use of model checking for synthesis: generating a dam controller for flood management.

Simple item page
dc.contributor.authorGallardo-Melgarejo, María del Mar
dc.contributor.authorMerino-Gómez, Pedro
dc.contributor.authorPanizo-Jaime, Laura
dc.contributor.authorDe-Linares-del-Río, Carlos Antonio
dc.date.accessioned2024-04-11T09:04:17Z
dc.date.available2024-04-11T09:04:17Z
dc.date.created2024
dc.date.issued2011-02-08
dc.departamentoLenguajes y Ciencias de la Computación
dc.description.sponsorshipTIN2008-05932 CENIT-E TECOAGUA CEN-20091028 P07-TIC-03131es_ES
dc.identifier.doi10.1002/spe.1048
dc.identifier.urihttps://hdl.handle.net/10630/30969
dc.language.isoenges_ES
dc.publisherWilleyes_ES
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.accessRightsopen accesses_ES
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectInundaciones - Controles_ES
dc.subjectControl automáticoes_ES
dc.subjectSoporte lógicoes_ES
dc.subject.otherAutomatic synthesises_ES
dc.subject.otherModel checkinges_ES
dc.subject.otherFlood managementes_ES
dc.subject.otherSoftware controlleres_ES
dc.titleA practical use of model checking for synthesis: generating a dam controller for flood management.es_ES
dc.typejournal articlees_ES
dc.type.hasVersionSMURes_ES
dspace.entity.typePublication
relation.isAuthorOfPublicationc6827ef4-3c19-4045-ad52-44258fc4f052
relation.isAuthorOfPublication53b235ae-03ae-497d-ae75-01bd07d919db
relation.isAuthorOfPublication74189115-2ba2-478b-a6df-ad34523f8a3d
relation.isAuthorOfPublication15fab951-48c0-49df-96bf-bb549c6f40f1
relation.isAuthorOfPublication.latestForDiscoveryc6827ef4-3c19-4045-ad52-44258fc4f052

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
spe_GMP09.pdf
Size:
878.63 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Artículos