PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Castillo, Giuseppe Del"

Author of the publication

copydeleteadd this publication to your clipboard
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.

. TACAS, volume 2031 of Lecture Notes in Computer Science, page 578-581. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Giuseppe Mannone University of Stuttgart

Daniel Del Gaudio University of Stuttgart

Juan Carlos del Valle Morales University of Stuttgart

Sergio del Olmo Cabrera University of Stuttgart

Tahsin Deliktas University of Stuttgart

 

Other publications of authors with the same name

The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models.. University of Paderborn, Germany, (2001)A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study., and . ICECCS, page 145-148. IEEE Computer Society, (1995)Model Checking Support for the ASM High-Level Language., and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 331-346. Springer, (2000)An Evolving Algebra Abstract Machine., , and . CSL, volume 1092 of Lecture Notes in Computer Science, page 191-214. Springer, (1995)Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems., , , , , , , , , and 4 other author(s). DIPES, volume 155 of IFIP Conference Proceedings, page 181-190. Kluwer, (1998)The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.. Workshop on Abstract State Machines, page 139-154. (1998)Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models., and . CODES, page 77-81. IEEE Computer Society, (1998)Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture.. FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 311-325. Springer, (1998)The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.. TACAS, volume 2031 of Lecture Notes in Computer Science, page 578-581. Springer, (2001)Computer-Aided Analysis and Validation of Heterogeneous System Specifications., and . EUROCAST, volume 1798 of Lecture Notes in Computer Science, page 55-79. Springer, (1999)