( en | de | ru )

 

Disambiguation of "de Figueiredo, Jorge C. A."

Author of the publication

copydeleteadd this publication to your clipboard
Model checking in object-oriented Petri nets.

, , and . SMC (5), page 4977-4982. IEEE, (2004)

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.

Giovanna Negrão de Figueiredo

C A Knorr

Flávia Figueiredo de Rezende Felipe

Jorge A Portocarrero Quispe

Constança Sofia Ferreira de Figueiredo

 

Other publications of authors with the same name

Using Developers Contributions on Software Vocabularies to Identify Experts., , and . ITNG, page 451-456. IEEE Computer Society, (2015)Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri., , , and . SBES, page 297-312. SBC, (1998)Component-based integration testing from UML interaction diagrams., , , , and . SMC, page 2679-2686. IEEE, (2007)Analyzing the Impact of Leaderboards in Introductory Programming Courses' Short-Length Activities., , , and . FIE, page 1-9. IEEE, (2018)Incorporating Semantic Algebra in the MDA Framework., , , and . ICSOFT (SE/MUSE/GSDCA), page 330-336. INSTICC Press, (2008)Applying coloured Petri nets to analyze fail silent nodes in distributed systems., , and . SMC, page 268-273. IEEE, (1998)Inheritance issues in object-oriented Petri net models., , , and . SMC, page 196-201. IEEE, (1998)Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems., , , and . Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, page 206-223. Springer, (1993)Timing analysis of real-time software systems using fuzzy time Petri nets., , and . SEKE, page 257-266. Knowledge Systems Institute, (1994)The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics., , , , and . SEKE, page 36-45. Knowledge Systems Institute, (1993)