The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models

zbMATH Open0982.68065MaRDI QIDQ2763532FDOQ2763532

Authors: Giuseppe Del Castillo 

Publication date: 16 January 2002

Recommendations

• scientific article; zbMATH DE number 1701780
• scientific article; zbMATH DE number 1538047
• Frontiers of Combining Systems
• scientific article; zbMATH DE number 1670507
• scientific article; zbMATH DE number 1670520

zbMATH Keywords

ASM WorkbenchASM-SL

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited In (10)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Methods for the Design of Real-Time Systems
• Title not available (Why is that?)
• ASM Workbench
• Neutralizing semantic ambiguities of function block architecture by modeling with ASM
• Title not available (Why is that?)

This page was built for publication: The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763532)