Model Checking Based Test Generation from P Systems Using P-Lingua

• Autores: Raluca Lefticaru , Florentin Ipate , Marian Gheorghe
• Localización: Eighth Brainstorming Week on Membrane Computing / Miguel Ángel Martínez del Amor (ed. lit.) , Gheorge Paun (ed. lit.), Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Agustín Riscos Núñez (ed. lit.) , 2010, ISBN 9788461423576, págs. 157-176
• Idioma: inglés
• Enlaces
  • Texto completo