Cristina Tudose

Ayuda

Cristina Tudose

Instituciones Universitatea din Pitesti (2011) Área de conocimiento Ciencia de la Computación e Inteligencia Artificial Periodo de publicación recogido 2011 - 2012
Ocultar coautorías Raluca Lefticaru Adrian Turcanu Mario de Jesús Pérez Jiménez Ionut Mihai Niculescu Luis Valencia Cabrera Florentin Ipate Marian Gheorghe Ciprian Dragomir

Colaboraciones en obras colectivas (2)

Colaboraciones en obras colectivas
- Seleccionado
  Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
  Raluca Lefticaru , Florentin Ipate , Luis Valencia Cabrera , Adrian Turcanu, Cristina Tudose, Marian Gheorghe , Mario de Jesús Pérez Jiménez , Ionut Mihai Niculescu, Ciprian Dragomir
  Tenth Brainstorming Week on Membrane Computing / Francisco José Romero Campero (ed. lit.) , Miguel Ángel Martínez del Amor (ed. lit.) , Gheorge Paun (ed. lit.), Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Manuel Garcia-Quismondo Fernandez (ed. lit.), Luis Felipe Macías Ramos (ed. lit.), Luis Valencia Cabrera (ed. lit.) , Vol. 1, 2012, ISBN 9788494005657, págs. 291-318
  - Texto completo
- Seleccionado
  Towards Automated Verification of P Systems Using Spin
  Raluca Lefticaru , Cristina Tudose, Florentin Ipate
  Ninth Brainstorming Week On Membrane Computing / Miguel Ángel Martínez del Amor (ed. lit.) , Gheorghe Paun (ed. lit.) , Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Francisco José Romero Campero (ed. lit.) , Luis Valencia Cabrera (ed. lit.) , 2011, ISBN 9788461518371, págs. 237-250
  - Texto completo

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.