scientific article; zbMATH DE number 1919415

MaRDI QIDQ4483791zbMATH OpenFDO

Authors Xueyang Zhu, Zhisong Tang

Publication date 27 May 2003

zbMATH Keywords

temporal logic language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 1949584
• Representation of the RCS reference model architecture using an architectural description language
• scientific article; zbMATH DE number 2050829
• A formal dynamic architecture description language
• An ``abstract process approach to algebraic dynamic architecture description

Cited in

(7)

• XYZ/ADL
• Representation of the RCS reference model architecture using an architectural description language
• scientific article; zbMATH DE number 2089419 (Why is no real title available?)
• scientific article; zbMATH DE number 1949584 (Why is no real title available?)
• scientific article; zbMATH DE number 2050829 (Why is no real title available?)
• ADL: An activity description language for real-time networks
• Modeling architecture description languages using AML

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