- idUS
- Jornadas y Congresos US
- Informática
- BWMC2010. Brainstorming Week On Membrane Computing (8th. 2010. Sevilla)
- Browsing BWMC2010. Brainstorming Week On Membrane Computing (8th. 2010. Sevilla) by Author
Browsing BWMC2010. Brainstorming Week On Membrane Computing (8th. 2010. Sevilla) by Author "Lefticaru, Raluca"
Now showing items 1-1 of 1
-
Presentation
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 ...