Repositorio de producción científica de la Universidad de Sevilla

Testing Identifiable Kernel P Systems Using an X-machine Approach

 

Advanced Search
 
Opened Access Testing Identifiable Kernel P Systems Using an X-machine Approach
Cites
Show item statistics
Icon
Export to
Author: Gheorghe, Marian
Ipate, Florentin
Lefticaru, Raluca
Turlea, Ana
Date: 2018
Published in: BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018), p 79-96
Document type: Presentation
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.
Cite: 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.
Size: 481.1Kb
Format: PDF

URI: https://hdl.handle.net/11441/83925

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)