An Spin / Promela application for model checking UML sequence diagrams

dc.creatorVidal-Silva C.L.
dc.creatorVillarroel R.
dc.creatorRubio J.
dc.creatorJohnson F.
dc.creatorMadariaga E.
dc.creatorCampos C.
dc.creatorCarter L.
dc.date.accessioned2020-09-02T22:30:04Z
dc.date.accessioned2022-11-08T20:22:20Z
dc.date.available2020-09-02T22:30:04Z
dc.date.available2022-11-08T20:22:20Z
dc.date.created2020-09-02T22:30:04Z
dc.date.issued2018
dc.identifier9, 10, 586-599
dc.identifier2158107X
dc.identifierhttps://hdl.handle.net/20.500.12728/6563
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/5144382
dc.languageen
dc.publisherScience and Information Organization
dc.subjectCombined Fragment
dc.subjectFault Tolerance
dc.subjectLTL formulas
dc.subjectSpin / Promela
dc.subjectUML Sequence Diagrams
dc.titleAn Spin / Promela application for model checking UML sequence diagrams
dc.typeArticle


Este ítem pertenece a la siguiente institución