Filter your results
- 10
- 10
- 10
- 1
- 1
- 2
- 3
- 1
- 2
- 10
- 1
- 1
- 10
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Towards Digital Twin in the Context of Power Wheelchairs Provision and Support13th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jun 2022, Caparica, Portugal. pp.95-102, ⟨10.1007/978-3-031-07520-9_9⟩
Conference papers
hal-04308380v1
|
||
|
|
Extending IOPT Nets with a Module Construct7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.86-95, ⟨10.1007/978-3-319-31165-4_9⟩
Conference papers
hal-01438288v1
|
||
|
|
Towards Statecharts to Input-Output Place Transition Nets Transformations2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.227-236, ⟨10.1007/978-3-642-19170-1_25⟩
Conference papers
hal-01566559v1
|
||
|
|
Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.165-175, ⟨10.1007/978-3-319-16766-4_18⟩
Conference papers
hal-01343480v1
|
||
|
|
Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.65-76, ⟨10.1007/978-3-319-31165-4_7⟩
Conference papers
hal-01438287v1
|
||
|
|
Minimalist Architecture to Generate Embedded System Web User Interfaces4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2013, Costa de Caparica, Portugal. pp.239-249, ⟨10.1007/978-3-642-37291-9_26⟩
Conference papers
hal-01348760v1
|
||
|
|
Towards Cloud-Based Engineering Systems6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.3-10, ⟨10.1007/978-3-319-16766-4_1⟩
Conference papers
hal-01343459v1
|
||
|
|
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2020, Costa de Caparica, Portugal. pp.93-100, ⟨10.1007/978-3-030-45124-0_8⟩
Conference papers
hal-03741552v1
|
||
|
|
Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.246-255, ⟨10.1007/978-3-642-19170-1_27⟩
Conference papers
hal-01566569v1
|
||
|
|
A Model-Based Approach for Resource Constrained Devices Energy Test and Simulation6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.345-354, ⟨10.1007/978-3-319-16766-4_37⟩
Conference papers
hal-01343502v1
|