Testing based on identifiable P Systems using cover automata and X-machines

Marian Gheorghe, Florentin Ipate, Savas Konur. Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci., 372:565-578, 2016. [doi]

Abstract

Abstract is missing.