Published March 7, 2019
| Version v1
Publication
Testing Identifiable Kernel P Systems Using an X-machine Approach
Description
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.
Additional details
Identifiers
- URL
- https://idus.us.es/handle//11441/83925
- URN
- urn:oai:idus.us.es:11441/83925
Origin repository
- Origin repository
- USE