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

MaRDI QIDQ2763532zbMATH OpenFDO

Authors Giuseppe Del Castillo

Publication date 16 January 2002

zbMATH Keywords

ASM WorkbenchASM-SL

Mathematics Subject Classification ID

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

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

Cited in

(10)

• scientific article; zbMATH DE number 1670520 (Why is no real title available?)
• scientific article; zbMATH DE number 1538047 (Why is no real title available?)
• scientific article; zbMATH DE number 1951209 (Why is no real title available?)
• scientific article; zbMATH DE number 1670521 (Why is no real title available?)
• ASM Workbench
• scientific article; zbMATH DE number 1390252 (Why is no real title available?)
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1701780 (Why is no real title available?)
• Neutralizing semantic ambiguities of function block architecture by modeling with ASM
• scientific article; zbMATH DE number 1951196 (Why is no real title available?)

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)