New Results on Timed Specifications

DOI10.1007/978-3-642-28412-0_12zbMath1312.68129OpenAlexW1554826871MaRDI QIDQ2890330

Alexandre David, Ulrik Nyman, Didier Lime, Timothy Bourke, Andrzej Wąsowski, Axel Legay, Kim Guldstrand Larsen

Publication date: 8 June 2012

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://vbn.aau.dk/ws/files/58769014/ownWADT2010.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• ECDAR
• Uppaal
• UPPAAL TIGA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existence of refinement mappings
• A theory of timed automata
• Timed I/O automata
• On the synthesis of discrete controllers for timed systems
• Frontiers of Combining Systems
• Formal Methods for the Design of Real-Time Systems
• CONCUR 2005 – Concurrency Theory

This page was built for publication: New Results on Timed Specifications