Autor der Publikation

Specification, Verification and Prototyping of an Optimized Compiler.

, und . Formal Asp. Comput., 6 (6): 643-658 (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Hybrid MARTE statecharts., , , , und . Frontiers Comput. Sci., 7 (1): 95-108 (2013)Linking Semantic Models.. ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 18-33. Springer, (2007)A Behavioral Model for Co-design.. World Congress on Formal Methods, Volume 1709 von Lecture Notes in Computer Science, Seite 1420-1438. Springer, (1999)An Approach to the Specification and Verification of a Hardware Compilation Scheme., und . The Journal of Supercomputing, 19 (1): 23-39 (2001)Deriving operational semantics from denotational semantics for Verilog, , und . Seite 177--184. (2001)rCOS: A refinement calculus of object systems, , und . Theoretical Computer Science, 365 (1-2): 109--142 (November 2006)Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics, , und . (2002)Unifying Probability., und . UTP, Volume 4010 von Lecture Notes in Computer Science, Seite 173-199. Springer, (2006)An Algebraic Approach to the VERILOG Programming.. 10th Anniversary Colloquium of UNU/IIST, Volume 2757 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2002)SPARDL: A Requirement Modeling Language for Periodic Control System., , , , , , und . ISoLA (1), Volume 6415 von Lecture Notes in Computer Science, Seite 594-608. Springer, (2010)