Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Active Learning of Extended Finite State Machines24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.5-7, ⟨10.1007/978-3-642-34691-0_2⟩
Conference papers
hal-01482424v1
|
||
|
|
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers
hal-01231765v1
|