Pages that link to "Item:Q2848435"
From MaRDI portal
The following pages link to A new method for transforming timed automata (Q2848435):
Displaying 5 items.
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167) (← links)
- Towards an Efficient Tree Automata based technique for Timed Systems (Q5111654) (← links)
- (Q5506370) (← links)