scientific article; zbMATH DE number 1543046

MaRDI QIDQ4520499zbMATH OpenFDO

Authors Egon Börger, Luca Mearelli

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_5/integrating_asm

zbMATH Keywords

Gurevich's abstract state machines

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1696889
• scientific article; zbMATH DE number 1670521
• Frontiers of Combining Systems
• Abstract State Machines
• scientific article; zbMATH DE number 1670522

Cited in

(9)

• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• scientific article; zbMATH DE number 1670521 (Why is no real title available?)
• scientific article; zbMATH DE number 1670522 (Why is no real title available?)
• scientific article; zbMATH DE number 1696889 (Why is no real title available?)
• scientific article; zbMATH DE number 1951199 (Why is no real title available?)
• scientific article; zbMATH DE number 1951209 (Why is no real title available?)
• A data-flow approach to test multi-agent ASMs
• Frontiers of Combining Systems
• A high-level modular definition of the semantics of C\(_{\sharp}\)

This page was built for publication:

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