Documentos de Martínez-del-Amor M. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Palabras Claves: "Formal verification"

Subtipo de publicación

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

Ciencias de la computación(1)

Objetivos de Desarrollo Sostenible

ODS 15: Vida de ecosistemas terrestres(1)

ODS 3: Salud y bienestar(1)

ODS 9: Industria, innovación e infraestructura(1)

Año de Publicación

Origen

Palabras Claves

Biological modeling(1)

A simulation algorithm for multienvironment probabilistic P systems: A formal verification

Abstract: Multienvironment probabilistic P systems provide a framework of specification for modeling populatio

Palabras claves:

Biological modeling, Formal verification, P systems

Fernando Sancho-Caparrini, Martínez-del-Amor M., Pérez-Hurtado I., Pérez-Jiménez M.J., Riscos-Núñez A.