Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Author: personID (integer) : 1013289
Page :
sorted by
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

Semantic Equations for Formal Models in the Model-Driven Architecture

 Paulo Barbosa , Franklin Ramalho , Jorge Figueiredo , Anikó Costa , Luís Gomes , et al.
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.249-258, ⟨10.1007/978-3-642-11628-5_27⟩
Conference papers hal-01060810v1
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

Properties Preservation in Distributed Execution of Petri Nets Models

 Anikó Costa , Paulo Barbosa , Luís Gomes , Franklin Ramalho , Jorge Figueiredo , et al.
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.239-248, ⟨10.1007/978-3-642-11628-5_26⟩
Conference papers hal-01060809v1
Page :