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
• scientific article; zbMATH DE number 1614637
• scientific article; zbMATH DE number 2050829
• A formal dynamic architecture description language
• An ``abstract process approach to algebraic dynamic architecture description

Cited in

(7)

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

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)