Pages that link to "Item:Q3172845"
From MaRDI portal
The following pages link to Statistical Model Checking for Networks of Priced Timed Automata (Q3172845):
Displaying 6 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- A maximal entropy stochastic process for a timed automaton (Q2347798) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Parametric Analyses of Attack-fault Trees* (Q5025035) (← links)
