Filter your results
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Checking Experiments for Finite State Machines with Symbolic Inputs27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.3-18, ⟨10.1007/978-3-319-25945-1_1⟩
Conference papers
hal-01470154v1
|
||
|
Inferring Finite State Machines Without Reset Using State Identification Sequences27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, ⟨10.1007/978-3-319-25945-1_10⟩
Conference papers
hal-01470168v1
|