( en | de | ru )

 

Disambiguation of "Barbosa, Paulo E. S."

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Checking Semantics Equivalence of MDA Transformations in Concurrent Systems., , , , , and . J. Univers. Comput. Sci., 15 (11): 2196-2224 (2009)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)Testing from Structured Algebraic Specifications: The Veritas Case Study., , , and . SBMF, volume 130 of Electronic Notes in Theoretical Computer Science, page 235-261. Elsevier, (2004)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)A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids., , , , and . SEFM, page 226-235. IEEE Computer Society, (2006)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)Introducing Traceability Information Models in Connected Health Projects., , , , and . CBMS, page 18-23. IEEE Computer Society, (2018)Architectural specification for infusion pumps and realization towards safety technological trends., , , , , and . MeMeA, page 85-90. IEEE, (2014)