Repositorio de producción científica de la Universidad de Sevilla

Towards Probabilistic Model Checking on P Systems Using PRISM

Opened Access Towards Probabilistic Model Checking on P Systems Using PRISM

Citas

buscar en

Estadísticas
Icon
Exportar a
Autor: Romero Campero, Francisco José
Gheorghe, Marian
Bianco, Luca
Pescini, Dario
Pérez Jiménez, Mario de Jesús
Ceterchi, Rodica
Departamento: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Fecha: 2006
Publicado en: Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361
ISBN/ISSN: 978-3-540-69088-7
Tipo de documento: Capítulo de Libro
Resumen: 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.
Tamaño: 669.0Kb
Formato: PDF

URI: http://hdl.handle.net/11441/53537

DOI: 10.1007/11963516_30

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones