scientific article; zbMATH DE number 2080017

MaRDI QIDQ4472204zbMATH OpenFDO

Authors

Publication date 3 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2272/22720497.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1949633
• scientific article; zbMATH DE number 2016088
• scientific article; zbMATH DE number 2097479
• Concurrency and refinement in the unified modeling language
• scientific article; zbMATH DE number 1304378

Cited in

(9)

• Research on metamodels consistency verification based on formalization of domain-specific metamodeling language
• Refinement sensitive formal semantics of state machines with persistent choice
• scientific article; zbMATH DE number 1946722 (Why is no real title available?)
• scientific article; zbMATH DE number 1949633 (Why is no real title available?)
• scientific article; zbMATH DE number 1951193 (Why is no real title available?)
• scientific article; zbMATH DE number 2006492 (Why is no real title available?)
• scientific article; zbMATH DE number 2006494 (Why is no real title available?)
• scientific article; zbMATH DE number 2097479 (Why is no real title available?)
• Concurrency and refinement in the unified modeling language

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