Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
hal_authIdPerson_i : 976771
Page :
sorted by
Image document

Towards Statecharts to Input-Output Place Transition Nets Transformations

 Rui Pais , Luís Gomes , João Paulo Barros
2nd 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
Image document

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System

 Filipe Moutinho , Luís Gomes , Paulo Barbosa , João Paulo Barros , Franklin Ramalho , et al.
2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.237-245, ⟨10.1007/978-3-642-19170-1_26⟩
Conference papers hal-01566548v1
Image document

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design

 Paulo Barbosa , João Paulo Barros , Franklin Ramalho , Luís Gomes , Jorge Figueiredo , et al.
2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.256-265, ⟨10.1007/978-3-642-19170-1_28⟩
Conference papers hal-01566552v1
Image document

From SysML State Machines to Petri Nets Using ATL Transformations

 Rui Pais , João Paulo Barros , Luís Gomes
5th 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
Page :