Filter your results
- 3
- 3
- 3
- 3
- 1
- 1
- 5
- 6
- 3
- 6
- 3
- 4
- 8
- 3
- 2
- 8
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Generic Weakest Precondition Semantics from Monads Enriched with Order12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014), Apr 2014, Grenoble, France. pp.10-32, ⟨10.1007/978-3-662-44124-4_2⟩
Conference papers
hal-01408750v1
|
||
|
A Requirements Evaluation Method for Ships to Maximize Operational Value under Uncertainty11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.149-158, ⟨10.1007/978-3-662-45937-9_16⟩
Conference papers
hal-01386491v1
|
||
|
Study on Improving Accuracy for Edge Measurement Using 3D Laser Scanner11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.427-434, ⟨10.1007/978-3-662-45937-9_42⟩
Conference papers
hal-01386548v1
|