Chapter of Book
Towards Probabilistic Model Checking on P Systems Using PRISM
| Author/s | Romero Campero, Francisco José
Gheorghe, Marian Bianco, Luca Pescini, Dario Pérez Jiménez, Mario de Jesús
Ceterchi, Rodica |
| Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
| Publication Date | 2006 |
| Deposit Date | 2017-02-02 |
| Published in |
|
| ISBN/ISSN | 978-3-540-69088-7 0302-9743 |
| 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. |
| Funding agencies | Ministerio de Educación y Ciencia (MEC). España Junta de Andalucía |
| Project ID. | TIN2005-09345-C04-01
TIC-581 |
| Citation | 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. |
: 
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| chp%3A10.1007%2F11963516_30.pdf | 669.0Kb | 
[PDF]
| View/ | |
http://hdl.handle.net/11441/53537
https://doi.org/10.1007/11963516_30This item appears in the following collection(s)
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional