The following pages link to Ulrik Nyman (Q2169110):
Displayed 13 items.
- Randomized refinement checking of timed I/O automata (Q2169111) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Timed I/O automata (Q2985870) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- (Q3384887) (← links)
- (Q3396636) (← links)
- A numerical method for the evaluation of non-linear transient moisture flow in cellulosic materials (Q3440517) (← links)
- On Modal Refinement and Consistency (Q3525632) (← links)
- Modal and mixed specifications: key decision problems and their complexities (Q3550702) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)
- Modal I/O Automata for Interface and Product Line Theories (Q5756489) (← links)
- Monte Carlo tree search for priced timed automata (Q6160783) (← links)