scientific article; zbMATH DE number 1304665

MaRDI QIDQ4251476zbMATH OpenFDO

Authors

Publication date 17 June 1999

zbMATH Keywords

Petri net

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 2243624
• Formal Methods for Components and Objects

Cited in

(2)

• Consistency of the static and dynamic components of object-oriented specifications
• Consistency analysis method of entity relationship of C<SUP>4</SUP>ISR architecture products

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