scientific article; zbMATH DE number 5181788

MaRDI QIDQ5754537zbMATH OpenFDO

Authors K. Khardoc, Eduard Cerny

Publication date 22 August 2007

zbMATH Keywords

timing diagrams

Mathematics Subject Classification ID

Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 2080761
• scientific article; zbMATH DE number 2017345
• Interface-based specification and verification of concurrency controllers
• Toward parametric timed interfaces for real-time components
• Timed default concurrent constraint programming

Cited in

(5)

• Consistency and satisfiability of waveform timing specifications
• scientific article; zbMATH DE number 1241510 (Why is no real title available?)
• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• scientific article; zbMATH DE number 2079808 (Why is no real title available?)
• scientific article; zbMATH DE number 7566069 (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 Q5754537)