Mostrar el registro sencillo del ítem
Ponencia
Kernel P Systems Modelling, Testing and Veri cation
dc.creator | Gheorghe, Marian | es |
dc.creator | Ceterchi, Rodica | es |
dc.creator | Ipate, Florentin | es |
dc.creator | Konur, Savas | es |
dc.date.accessioned | 2016-12-07T11:25:21Z | |
dc.date.available | 2016-12-07T11:25:21Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Gheorghe, M., Ceterchi, R., Ipate, F. y Konur, S. (2016). Kernel P Systems Modelling, Testing and Veri cation. En BWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, February 1-5 (205-230), Sevilla: Fénix. | |
dc.identifier.uri | http://hdl.handle.net/11441/49811 | |
dc.description.abstract | A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most successfully used for modelling various applications and, consequently, it provides a framework for analyzing these models. In this paper, we illustrate the modeling capabilities of kernel P systems by showing how other classes of P systems can be represented with this formalism and providing a number of kP system models for sorting algorithms. Furthermore, the problem of testing systems modelled as kP systems is also discussed and a test generation method based on automata is proposed. We also demonstrate how formal veri cation can be used to validate that the given models work as desired. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix | es |
dc.relation.ispartof | BWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, February 1-5 (2016), p 205-230 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Kernel P Systems Modelling, Testing and Veri cation | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.relation.publisherversion | http://www.gcn.us.es/files/14bwmc/205_kPS-MFRS-10.pdf | es |
idus.format.extent | 26 | es |
dc.publication.initialPage | 205 | es |
dc.publication.endPage | 230 | es |
dc.eventtitle | BWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, February 1-5 | es |
dc.eventinstitution | Sevilla | es |
dc.relation.publicationplace | Sevilla | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/49811 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
205_kPS-MFRS-10.pdf | 354.5Kb | [PDF] | Ver/ | |