Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.123-132, ⟨10.1007/978-3-642-28255-3_14⟩
Conference papers
hal-01365577v1
|