Mostrar el registro sencillo del ítem
Ponencia
Testing Identifiable Kernel P Systems Using an X-machine Approach
dc.creator | Gheorghe, Marian | es |
dc.creator | Ipate, Florentin | es |
dc.creator | Lefticaru, Raluca | es |
dc.creator | Turlea, Ana | es |
dc.date.accessioned | 2019-03-07T10:40:38Z | |
dc.date.available | 2019-03-07T10:40:38Z | |
dc.date.issued | 2018 | |
dc.identifier.citation | Gheorghe, M., Ipate, F., Lefticaru, R. y Turlea, A. (2018). Testing Identifiable Kernel P Systems Using an X-machine Approach. En BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (79-96), Sevilla, España: Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática. | |
dc.identifier.uri | https://hdl.handle.net/11441/83925 | |
dc.description.abstract | This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the speci cations, under certain conditions, such as the identi ably concept in the context of kernel P systems. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática | es |
dc.relation.ispartof | BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018), p 79-96 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Membrane Computing | es |
dc.subject | kernel P systems | es |
dc.subject | X-machines | es |
dc.subject | Cover automata | es |
dc.subject | Testing | es |
dc.title | Testing Identifiable Kernel P Systems Using an X-machine Approach | 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/16bwmc_proceedings | es |
idus.format.extent | 18 | es |
dc.publication.initialPage | 79 | es |
dc.publication.endPage | 96 | es |
dc.eventtitle | BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing | es |
dc.eventinstitution | Sevilla, España | es |
dc.relation.publicationplace | Sevilla, España | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
79_Testing.pdf | 481.1Kb | [PDF] | Ver/ | |