Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 results
|
|
sorted by
|
|
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.83-94, ⟨10.1007/978-3-642-16256-5_10⟩
Conference papers
hal-01055395v1
|
||
|
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.56-64, ⟨10.1007/978-3-030-31280-0_4⟩
Conference papers
hal-02526339v1
|