Browsing 2 - Investigación by Author "e57e0b9f053d41c599f0ebcb19c2ab06"
Now showing items 1-1 of 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 ...