Showing
1 - 1
results of
1
for search '
NASA astronaut
'
Skip to content
Toggle navigation
Inicio
Acceso Abierto
Datos de Investigación
Preservación del Conocimiento
Ciencia Abierta
Contraste
Aumentar letra
Reducir letra
Centro de relevo
Filtrar por
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Search Results - NASA astronaut
Showing
1 - 1
results of
1
for search '
NASA astronaut
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Part of book
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
Por
Cadavid Rengifo, Hector Fabio
;
Rocha, Camilo
;
Muñoz, Cesar
Published in 2012
Repositorio Repositorio Institucional ECI
“
... by
NASA
for commanding and monitoring autonomous systems. This paper reports the development...
”
Get full text
Seleccione página | Con selección:
Correo Electrónico
Exportar
Imprimir
Search Tools:
Get RSS Feed
—
Email this Search
Resultados Agrupados
if (!empty($filterList)): ?>
Remove Filters
Author: Cadavid Rengifo, Hector Fabio
endif; ?>
Institution
if ($thisFacet['isApplied']): ?>
endif; ?>
1
Escuela Colombiana de Ingeniería Julio Garavito
Repositorio
if ($thisFacet['isApplied']): ?>
endif; ?>
1
Repositorio Institucional ECI
Author
if ($thisFacet['isApplied']): ?>
endif; ?>
Cadavid Rengifo, Hector Fabio
if ($thisFacet['isApplied']): ?>
endif; ?>
1
Muñoz, Cesar
if ($thisFacet['isApplied']): ?>
endif; ?>
1
Rocha, Camilo
Tipo de recurso
if ($thisFacet['isApplied']): ?>
endif; ?>
1
Part of book
Idioma
if ($thisFacet['isApplied']): ?>
endif; ?>
1
eng
Year of Publication
From:
To:
Loading...