ListarAD - CTG – Informática por tema "Sistemas interactivos"
Mostrando ítems 1-1 de 1
-
A Graphical Environment for the Semantic Validation of a Plan Execution Language
(© Copyright 2021 IEEEUSA., 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 ...