- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Capítulos (Ciencias de la Computación e Inteligencia Artificial)
- Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por autor "Bianco, Luca"
Mostrando ítems 1-1 de 1
-
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.