Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
Autor/es | 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 de publicación | 2006 |
Fecha de depósito | 2017-02-02 |
Publicado en |
|
ISBN/ISSN | 978-3-540-69088-7 0302-9743 |
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. |
Agencias financiadoras | Ministerio de Educación y Ciencia (MEC). España Junta de Andalucía |
Identificador del proyecto | TIN2005-09345-C04-01
TIC-581 |
Cita | Romero Campero, F.J., Gheorghe, M.,...,Ceterchi, R. (2006). Towards Probabilistic Model Checking on P Systems Using PRISM. En Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361 (pp. 477-495). Berlin: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
chp%3A10.1007%2F11963516_30.pdf | 669.0Kb | [PDF] | Ver/ | |