Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
A 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:scopusHybrid agent-based methodology for testing response protocols
ArticleAbstract: In recent years we have seen multiple incidents with a large number of people injured and killed byPalabras claves:agent-based modeling, Behavior modeling, Emergency protocols, SimulationAutores:Álvarez-García J.A., Fernando Sancho-Caparrini, López-Ortiz E.J., Martínez-del-Amor M., Soria-Morillo L.M.Fuentes:scopus