Mostrar el registro sencillo del ítem
Ponencia
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/ | |