scientific article; zbMATH DE number 1796149

MaRDI QIDQ4551173zbMATH OpenFDO

Authors Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter

Publication date 4 September 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2102/21020391

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1507209
• scientific article; zbMATH DE number 2102690
• Kronos: A verification tool for real-time systems
• scientific article; zbMATH DE number 2143087
• scientific article; zbMATH DE number 1746447

Cited in

(11)

• TAXYS
• Kronos: A verification tool for real-time systems
• Schedulability of asynchronous real-time concurrent objects
• scientific article; zbMATH DE number 1670567 (Why is no real title available?)
• A survey of timed automata for the development of real-time systems
• scientific article; zbMATH DE number 1962789 (Why is no real title available?)
• scientific article; zbMATH DE number 2080067 (Why is no real title available?)
• scientific article; zbMATH DE number 2080070 (Why is no real title available?)
• scientific article; zbMATH DE number 1905116 (Why is no real title available?)
• Compositional schedulability analysis of real-time actor-based systems
• Formal Methods for the Design of Real-Time Systems

Describes a project that uses

Uses Software

• Kronos
• PVS

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