- idUS
- Jornadas y Congresos US
- Informática
- BWMC2011. Brainstorming Week On Membrane Computing (9th. 2011. Sevilla)
- Listar BWMC2011. Brainstorming Week On Membrane Computing (9th. 2011. Sevilla) por autor
Listar BWMC2011. Brainstorming Week On Membrane Computing (9th. 2011. Sevilla) por autor "Ipate, Florentin"
Mostrando ítems 1-2 de 2
-
Ponencia
Modeling, Verification and Testing of P Systems Using Rodin and ProB
Ipate, Florentin; Turcanu, Adrian (Fénix Editora, 2011)In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and ...
-
Ponencia
Towards Automated Verification of P Systems Using Spin
Lefticaru, Raluca; Tudose, Cristina; Ipate, Florentin (Fénix Editora, 2011)This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...