Listar 2 - Investigación por autor "e57e0b9f053d41c599f0ebcb19c2ab06"
Mostrando ítems 1-1 de 1
-
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
Rocha, Camilo; Múñoz, César (NASA Langley Research CenterHampton, Virginia., 2011)This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...