Mostrando 2 resultados de: 2
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)
Objetivos de Desarrollo Sostenible
ODS 3: Salud y bienestar(2)
ODS 11: Ciudades y comunidades sostenibles(1)
ODS 15: Vida de ecosistemas terrestres(1)
ODS 16: Paz, justicia e instituciones sólidas(1)
ODS 9: Industria, innovación e infraestructura(1)
Origen
scopus(2)
Hybrid 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: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