Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Ciencias de la computación(2)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
A formalization of transition P systems
ArticleAbstract: In this paper we give a complete formalization of a new computability model of a distributed parallePalabras claves:Formal verification, Natural Computing, P systemAutores:Fernando Sancho-Caparrini, Pérez-Jiménez M.J.Fuentes:scopusA simulation algorithm for multienvironment probabilistic P systems: A formal verification
ArticleAbstract: Multienvironment probabilistic P systems provide a framework of specification for modeling populatioPalabras claves:Biological modeling, Formal verification, P systemsAutores:Fernando Sancho-Caparrini, Martínez-del-Amor M., Pérez-Hurtado I., Pérez-Jiménez M.J., Riscos-Núñez A.Fuentes:scopus