Pages that link to "Item:Q5897965"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897965):
Displaying 14 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)
- Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061) (← links)
