Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
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
|
||
|
|
From SysML State Machines to Petri Nets Using ATL Transformations5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2014, Costa de Caparica, Portugal. pp.227-236, ⟨10.1007/978-3-642-54734-8_26⟩
Conference papers
hal-01274779v1
|