Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A User Study with GUIs Tailored for Smartphones14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.505-512, ⟨10.1007/978-3-642-40480-1_34⟩
Conference papers
hal-01501767v1
|
||
|
|
A Core Ontology of Safety Risk Concepts6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.165-180, ⟨10.1007/978-3-319-44902-9_11⟩
Conference papers
hal-01647717v1
|
||
|
|
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.126-140, ⟨10.1007/978-3-319-25897-3_9⟩
Conference papers
hal-01442302v1
|