Ver Publicación - Prisma - Unidad de Bibliometría

Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems

Rouff, CA ; Hinchey, MG; Pena, J; Ruiz-Cortes, A

Tipo: Ponencia
Año de Publicación: 2007
Páginas: 348 - +
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus1330-11-2024
wos801-12-2024
Dimensions
PlumX
Altmetric
Agencia Código de Proyecto
NASA Office of Safety and Mission Assurance (OSMA)-
NASA Software Engineering Laboratory, NASA Goddard Space Flight Center, Greenbelt, MD, USA-
Spanish Ministry of Science and TechnologyTIC2003-02737-C02-01; TIN2006-00472
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Rouff, CA SAIC (United States)
2Hinchey, MGLoyola University Maryland (United States)
3Pena, JUniversidad de Sevilla (Spain)
4Ruiz-Cortes, AUniversidad de Sevilla (Spain)