Filter your results
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Suomi.fi – Towards Government 3.0 with a National Service Platform17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.3-14, ⟨10.1007/978-3-319-98690-6_1⟩
Conference papers
hal-01961533v1
|
||
|
|
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers
hal-01658411v1
|