scientific article; zbMATH DE number 1397918

MaRDI QIDQ4937069zbMATH OpenFDO

Authors Richard S. Schifman, Stefan van As, Joseph Ganci, Phillip Kerman, Jeff McGuire, Wade Wells

Publication date 2 February 2000

zbMATH Keywords

Authorware

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network design and communication in computer systems (68M10)

Recommendations

• scientific article; zbMATH DE number 1259058
• scientific article; zbMATH DE number 1649497
• Formal Methods for the Design of Real-Time Systems

Cited in

(5)

• scientific article; zbMATH DE number 993114 (Why is no real title available?)
• Authorware Attain
• scientific article; zbMATH DE number 1259058 (Why is no real title available?)
• scientific article; zbMATH DE number 1790679 (Why is no real title available?)
• scientific article; zbMATH DE number 1790742 (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 Q4937069)