Kernel P systems: From modelling to verification and testing.

Marian Gheorghe Rodica Ceterchi Florentin Ipate Savas Konur Raluca Lefticaru

Published in: Theor. Comput. Sci. (2018)

Keyphrases

management system
formal methods
distributed systems
intelligent systems
kernel methods
database
data sets
artificial intelligence
search engine
support vector
kernel function
retrieval systems
test data
test generation