scientific article; zbMATH DE number 2079826

MaRDI QIDQ4471930zbMATH OpenFDO

Authors Dominique Cansell, Dominique Mery, Stephan Merz

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450380.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2176483
• Diagram refinements for the design of reactive systems
• Predicate diagrams for the verification of real-time systems
• Generalized temporal verification diagrams
• Predicate diagrams for the verification of real-time systems

Cited in

(9)

• Predicate diagrams for the verification of real-time systems
• Diagram refinements for the design of reactive systems
• scientific article; zbMATH DE number 1670798 (Why is no real title available?)
• Predicate diagrams for the verification of real-time systems
• Generalized temporal verification diagrams
• Diagram-based verification of parameterized systems
• scientific article; zbMATH DE number 1479642 (Why is no real title available?)
• scientific article; zbMATH DE number 2176483 (Why is no real title available?)
• Verification of reactive systems via instantiation of parameterised Boolean equation systems

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 Q4471930)