Towards Probabilistic Model Checking on P Systems Using PRISM

Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica

doi:10.1007/11963516_30

Capítulo de Libro

dc.creator	Romero Campero, Francisco José	es
dc.creator	Gheorghe, Marian	es
dc.creator	Bianco, Luca	es
dc.creator	Pescini, Dario	es
dc.creator	Pérez Jiménez, Mario de Jesús	es
dc.creator	Ceterchi, Rodica	es
dc.date.accessioned	2017-02-02T11:10:35Z
dc.date.available	2017-02-02T11:10:35Z
dc.date.issued	2006
dc.identifier.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.
dc.identifier.isbn	978-3-540-69088-7	es
dc.identifier.issn	0302-9743	es
dc.identifier.uri	http://hdl.handle.net/11441/53537
dc.description.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.	es
dc.description.sponsorship	Ministerio de Educación y Ciencia TIN2005-09345-C04-01
dc.description.sponsorship	Junta de Andalucía TIC-581
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Towards Probabilistic Model Checking on P Systems Using PRISM	es
dc.type	info:eu-repo/semantics/bookPart	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/acceptedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial	es
dc.relation.projectID	TIN2005-09345-C04-01	es
dc.relation.projectID	TIC-581	es
dc.relation.publisherversion	http://link.springer.com/chapter/10.1007%2F11963516_30	es
dc.identifier.doi	10.1007/11963516_30	es
dc.contributor.group	Universidad de Sevilla. TIC193 : Computación Natural	es
idus.format.extent	19	es
dc.publication.initialPage	477	es
dc.publication.endPage	495	es
dc.relation.publicationplace	Berlin	es
dc.contributor.funder	Ministerio de Educación y Ciencia (MEC). España
dc.contributor.funder	Junta de Andalucía

Ficheros	Tamaño	Formato	Ver	Descripción
chp%3A10.1007%2F11963516_30.pdf	669.0Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional