Show simple item record

dc.creatorGheorghe, Marianes
dc.creatorIpate, Florentines
dc.creatorLefticaru, Ralucaes
dc.creatorTurlea, Anaes
dc.date.accessioned2019-03-07T10:40:38Z
dc.date.available2019-03-07T10:40:38Z
dc.date.issued2018
dc.identifier.citationGheorghe, 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.urihttps://hdl.handle.net/11441/83925
dc.description.abstractThis 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.formatapplication/pdfes
dc.language.isoenges
dc.publisherUniversidad de Sevilla, Escuela Técnica Superior de Ingeniería Informáticaes
dc.relation.ispartofBWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018), p 79-96
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectMembrane Computinges
dc.subjectkernel P systemses
dc.subjectX-machineses
dc.subjectCover automataes
dc.subjectTestinges
dc.titleTesting Identifiable Kernel P Systems Using an X-machine Approaches
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
dc.relation.publisherversionhttp://www.gcn.us.es/16bwmc_proceedingses
idus.format.extent18es
dc.publication.initialPage79es
dc.publication.endPage96es
dc.eventtitleBWMC 2018: Sixteenth Brainstorming Week on Membrane Computinges
dc.eventinstitutionSevilla, Españaes
dc.relation.publicationplaceSevilla, Españaes

FilesSizeFormatViewDescription
79_Testing.pdf481.1KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional