Filter your results
- 3
- 3
- 3
- 1
- 3
- 2
- 5
- 5
- 5
- 2
- 3
- 3
- 1
- 5
- 4
- 4
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
NEXT: Generating Tailored ERP Applications from Ontological Enterprise Models10th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2017, Leuven, Belgium. pp.283-298, ⟨10.1007/978-3-319-70241-4_19⟩
Conference papers
hal-01765268v1
|
||
|
Social Network Analysis for Trust Prediction11th IFIP International Conference on Trust Management (TM), Jun 2017, Gothenburg, Sweden. pp.49-56, ⟨10.1007/978-3-319-59171-1_5⟩
Conference papers
hal-01651167v1
|
||
|
Creating Büchi Automata for Multi-valued Model Checking37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.210-224, ⟨10.1007/978-3-319-60225-7_15⟩
Conference papers
hal-01658422v1
|