Modeling, Verification and Testing of P Systems Using Rodin and ProB

dc.creator	Ipate, Florentin	es
dc.creator	Turcanu, Adrian	es
dc.date.accessioned	2016-04-05T10:00:22Z
dc.date.available	2016-04-05T10:00:22Z
dc.date.issued	2011
dc.identifier.isbn	9788461518371	es
dc.identifier.uri	http://hdl.handle.net/11441/39498
dc.description.abstract	In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we then use to implement two P-system models in the Rodin platform. For each of the two models, we use the associated Pro-B model checker to verify properties and we present some of the results obtained	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Fénix Editora	es
dc.relation.ispartof	Proceedings of the Ninth Brainstorming Week on Membrane Computing, 209-219. Sevilla, E.T.S. de Ingeniería Informática, 31 de enero-4 de febrero, 2011	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Modeling, Verification and Testing of P Systems Using Rodin and ProB	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dc.type.version	info:eu-repo/semantics/publishedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess
dc.identifier.idus	https://idus.us.es/xmlui/handle/11441/39498

Ficheros	Tamaño	Formato	Ver	Descripción
14IpateTurcanu.pdf	367.1Kb	[PDF]	Ver/Abrir

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