scientific article; zbMATH DE number 139824

MaRDI QIDQ4028161zbMATH OpenFDO

Authors Christian Antoine, Bernard Le Goff

Publication date 28 March 1993

zbMATH Keywords

Kripke's structuresTiming Diagramsvalidation of circuit specifications

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timing diagrams: Formalization and algorithmic verification
• scientific article; zbMATH DE number 2079808
• Predicate diagrams for the verification of real-time systems
• Predicate diagrams for the verification of real-time systems
• Formalizing timing diagram requirements in discrete duration calculus
• scientific article; zbMATH DE number 52748
• scientific article; zbMATH DE number 2102717
• scientific article; zbMATH DE number 1696823

Cited in

(6)

• Visual temporal logic as a rapid prototyping tool
• A graphic language based on timing diagrams
• scientific article; zbMATH DE number 1973986 (Why is no real title available?)
• scientific article; zbMATH DE number 2079808 (Why is no real title available?)
• Formalizing timing diagram requirements in discrete duration calculus
• scientific article; zbMATH DE number 1852157 (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 Q4028161)