Modal specifications for probabilistic timed systems

zbMATH Open1464.68205arXiv1306.2695MaRDI QIDQ4992525FDOQ4992525

Authors: Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese 

Publication date: 9 June 2021

Full work available at URL: https://arxiv.org/abs/1306.2695

Recommendations

• Modal event-clock specifications for timed component-based design
• Refinement and Consistency of Timed Modal Specifications
• Quantitative Modal Transition Systems
• Abstract probabilistic automata
• Abstract probabilistic automata

Mathematics Subject Classification ID

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

Cited In (3)

• Dual-priced modal transition systems with time durations
• Modal event-clock specifications for timed component-based design
• Refinement and Consistency of Timed Modal Specifications

This page was built for publication: Modal specifications for probabilistic timed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4992525)