Browsing by Subject "Lenguaje síncrono"
Now showing items 1-1 of 1
-
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(Springer NatureUSA.Switzerland, 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 ...