Filter your results
- 3
- 3
- 3
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
3 results
|
|
sorted by
|
|
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.267-274, ⟨10.1007/978-3-319-39570-8_18⟩
Conference papers
hal-01432923v1
|
||
|
Extracting and Modeling Design Defects Using Gradual Rules and UML Profile5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.574-583, ⟨10.1007/978-3-319-19578-0_47⟩
Conference papers
hal-01789946v1
|
||
|
Unifying Web Services Communities Modelling Through a UML Profile13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.357-366, ⟨10.1007/978-3-319-22572-2_26⟩
Conference papers
hal-01728823v1
|