( en | de | ru )

 

Disambiguation of "Figueiredo, Jorge"

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.

Clarice Figueiredo

Frederico Figueiredo

Antonio MacDowell Figueiredo

Heinz Jörgens

Rolf Jörgens

 

Other publications of authors with the same name

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)Learning styles in programming education: A systematic mapping study., , and . FIE, page 1-7. IEEE Computer Society, (2017)The Man-Machine Relationship on the Web: Motivation to Use the Internet., , , and . IoECon, volume 458 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 55-65. Springer, (2022)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 MOOD-MUSCL Hybrid Formulation for the Non-conservative Shallow-Water System., and . J. Sci. Comput., 88 (1): 2 (2021)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)The Role of Source Code Vocabulary in Programming Teaching and Learning., , , and . FIE, page 1-8. IEEE, (2020)Applying spectrum-based fault localization on novice's programs., , , and . FIE, page 1-8. IEEE Computer Society, (2016)Qualitative aspects of students' programs: Can we make them measurable?, , and . FIE, page 1-8. IEEE Computer Society, (2016)Do the European Data Portal Datasets in the Categories Government and Public Sector, Transport and Education, Culture and Sport Meet the Data on the Web Best Practices?, , , and . Data, 6 (8): 94 (2021)