- idUS
- Jornadas y Congresos US
- Informática
- BWMC2012. Brainstorming Week on Membrane Computing (10th. 2012. Sevilla)
- Listar BWMC2012. Brainstorming Week on Membrane Computing (10th. 2012. Sevilla) por autor
Listar BWMC2012. Brainstorming Week on Membrane Computing (10th. 2012. Sevilla) por autor "Tudose, Cristina"
Mostrando ítems 1-1 de 1
-
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
Lefticaru, Raluca; Ipate, Florentin; Valencia Cabrera, Luis; Turcanu, Adrian; Tudose, Cristina; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Dragomir, Ciprian (Fénix Editora, 2012)This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...