scientific article

DOI10.4230/LIPIcs.FSTTCS.2009.2337zbMath1248.68335MaRDI QIDQ2920149

Kim Guldstrand Larsen

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_c722.html

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

zbMATH Keywords

model-checkinggamesoptimal schedulingtimed systemspriced timed automata

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A survey of timed automata for the development of real-time systems

Uses Software

• Kronos
• HyTech
• Uppaal

This page was built for publication: