A formal interactive verification environment for the plan execution interchange language
- Camilo Rocha
- , Héctor Cadavid
- , César Muñoz
- , Radu Siminiceanu
- University of Illinois at Urbana-Champaign
- Escuela Colombiana de Ingeniería Julio Garavito
- NASA Langley Research Center
- National Institute of Aerospace
Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
8
Citas
(Scopus)