Buscar
Mostrando ítems 1-2 de 2
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(Springer Nature, 2012)
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(© 2020 Springer Nature Switzerland AG., 2012)
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...