Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.37-45, ⟨10.1007/978-3-319-31165-4_4⟩
Conference papers
hal-01438280v1
|
||
|
|
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.73-81, ⟨10.1007/978-3-319-16766-4_8⟩
Conference papers
hal-01343467v1
|