Buscar
Mostrando ítems 1-1 de 1
A Graphical Environment for the Semantic Validation of a Plan Execution Language
(© Copyright 2021 IEEE, 2009)
This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...