scientific article; zbMATH DE number 1543050

MaRDI QIDQ4520503zbMATH OpenFDO

Authors Luca Mearelli

Publication date 26 February 2001

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

zbMATH Keywords

production cell

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696889
• The ASM refinement method
• scientific article; zbMATH DE number 1904891
• scientific article; zbMATH DE number 1670521

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 Q4520503)