Pages that link to "Item:Q1683431"
From MaRDI portal
The following pages link to On the determinization of timed systems (Q1683431):
Displaying 10 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Failure detection and localization for timed event graphs in \((\max,+)\)-algebra (Q2063096) (← links)
- Synthesis of Non-Interferent Timed Systems (Q3648818) (← links)
- (Q4461952) (← links)
- (Q4518892) (← links)
- (Q4818742) (← links)
- (Q4953389) (← links)
- New time hierarchy results for deterministic TMS (Q5096792) (← links)
- The Unmet Challenge of Timed Systems (Q5170750) (← links)