Towards probabilistic model checking on P systems using PRISM
| Title | Towards probabilistic model checking on P systems using PRISM |
| Publication Type | Journal Papers |
| Year of Publication | 2006 |
| Authors | Romero-Campero, F. J., Gheorghe M., Bianco L., Pescini D., Pérez-Jiménez M. J., & Ceterchi R. |
| Journal Title | Lecture Notes in Computer Science |
| ISBN Number | 978-3-540-69088-7 |
| Publisher | Springer |
| Place Published | Amsterdam, The Netherlands |
| Volume | 4361 |
| Pages | 477-495 |
| Abstract | 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. |
| URL | http://www.springerlink.com/content/326656pw543574g6/?p=c664762c3b9f4d6798380d9fb3509b9d&pi=29 |
| ISSN Number | 0302-9743 |
| DOI | 10.1007/11963516_30 |
Research Group on Natural Computing (PAI - TIC 193)
Department of Computer Science and Artificial Intelligence
University of Seville
Webmasters: the members of the RGNC
| Follow us: |  |
 |
|
Featured News: |
|
Mario J. Pérez-Jiménez in the top 2% of scientists of the World |
|
Agustín became Full Professor |
|
Science names our most recent research project |