- idUS
- Jornadas y Congresos US
- Informática
- BWMC2010. Brainstorming Week On Membrane Computing (8th. 2010. Sevilla)
- Listar BWMC2010. Brainstorming Week On Membrane Computing (8th. 2010. Sevilla) por autor
Listar BWMC2010. Brainstorming Week On Membrane Computing (8th. 2010. Sevilla) por autor "Ipate, Florentin"
Mostrando ítems 1-1 de 1
-
Ponencia
Model Checking Based Test Generation from P Systems Using P-Lingua
Lefticaru, Raluca; Ipate, Florentin; Gheorgue, Marian (Fénix Editora, 2010)This paper presents an approach for P system testing, that uses model- checking for automatic test generation and P-Lingua ...