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

Towards Probabilistic Model Checking on P Systems Using PRISM

 

Advanced Search
 
Opened Access Towards Probabilistic Model Checking on P Systems Using PRISM
Cites

Show item statistics
Icon
Export to
Author: 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
Date: 2006
Published in: Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361
ISBN/ISSN: 978-3-540-69088-7
0302-9743
Document type: Chapter of Book
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.
Size: 669.0Kb
Format: PDF

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

DOI: 10.1007/11963516_30

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)