scientific article; zbMATH DE number 1796149

zbMath0991.68644MaRDI QIDQ4551173

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

Publication date: 4 September 2002

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (4)

Schedulability of asynchronous real-time concurrent objects ⋮ A survey of timed automata for the development of real-time systems ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ TAXYS

Uses Software

• Kronos
• PVS

This page was built for publication: