Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems12th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2021, Costa de Caparica, Portugal. pp.83-91, ⟨10.1007/978-3-030-78288-7_8⟩
Conference papers
hal-03685916v1
|
||
|
Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems13th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jun 2022, Caparica, Portugal. pp.74-82, ⟨10.1007/978-3-031-07520-9_7⟩
Conference papers
hal-04308398v1
|