( en | de | ru )

 

Disambiguation of "Barbosa, Paulo E. S."

Author of the publication

copydeleteadd this publication to your clipboard
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.

, , , , , , , and . DoCEIS, volume 349 of IFIP Advances in Information and Communication Technology, page 237-245. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

S E Kulling

Milan Paulovic

Sergey E. Skipetrov

Sergey E. Skipetrov

Manuel António Paulo

 

Other publications of authors with the same name

An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations., , , and . SEW, page 33-42. IEEE Computer Society, (2008)NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems., , , , , and . CBMS, page 509-510. IEEE Computer Society, (2014)Incorporating Semantic Algebra in the MDA Framework., , , and . ICSOFT (SE/MUSE/GSDCA), page 330-336. INSTICC Press, (2008)Architectural specification for infusion pumps and realization towards safety technological trends., , , , , and . MeMeA, page 85-90. IEEE, (2014)Semantic Equations for Formal Models in the Model-Driven Architecture., , , , , and . DoCEIS, volume 314 of IFIP Advances in Information and Communication Technology, page 251-260. Springer, (2010)Properties Preservation in Distributed Execution of Petri Nets Models., , , , , and . DoCEIS, volume 314 of IFIP Advances in Information and Communication Technology, page 241-250. Springer, (2010)Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System., , , , , , , and . DoCEIS, volume 349 of IFIP Advances in Information and Communication Technology, page 237-245. Springer, (2011)Introducing Traceability Information Models in Connected Health Projects., , , , and . CBMS, page 18-23. IEEE Computer Society, (2018)A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids., , , , and . SEFM, page 226-235. IEEE Computer Society, (2006)SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design., , , , , , , and . DoCEIS, volume 349 of IFIP Advances in Information and Communication Technology, page 256-265. Springer, (2011)