scientific article; zbMATH DE number 1187962

MaRDI QIDQ3840775zbMATH OpenFDO

Authors Marc Diefenbruch

Publication date 11 August 1998

zbMATH Keywords

complex concurrent systemsQSDL modeltemporal logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1728514
• scientific article; zbMATH DE number 2043468
• scientific article; zbMATH DE number 2043473
• Integrating schedulability analysis and design techniques in SDL
• scientific article; zbMATH DE number 1706370

Cited in

(2)

• scientific article; zbMATH DE number 1706370 (Why is no real title available?)
• scientific article; zbMATH DE number 1728514 (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 Q3840775)