Modelling and Validating an Engineering Application in Kernel P Systems

Abstract

This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing approach and the concept of cover automaton. The testing methodology ensures that the implementation conforms the specifications, under certain conditions, such as the identifiability concept in the context of kernel P systems.

Publication
Proceedings of the 18th International Conference on Membrane Computing (CMC18)
Date
Links