open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Subtipo de publicación
Article
(1)
Publisher
International Journal of Foundations of Computer Science
(1)
Área temáticas
Ciencias de la computación
(1)
Métodos informáticos especiales
(1)
Programación informática, programas, datos, seguridad
(1)
Área de conocimiento
Algoritmo
(1)
Ciencias de la computación
(1)
Año de Publicación
2011
(1)
Origen
scopus
(1)
Palabras Claves
Biological modeling
(1)
Formal verification
(1)
P systems
(1)
A simulation algorithm for multienvironment probabilistic P systems: A formal verification
Article
Abstract:
Multienvironment probabilistic P systems provide a framework of specification for modeling populatio
Palabras claves:
Biological modeling, Formal verification, P systems
Autores:
Fernando Sancho-Caparrini, Martínez-del-Amor M., Pérez-Hurtado I., Pérez-Jiménez M.J., Riscos-Núñez A.
Fuentes:
scopus
1
1
