( en | de | ru )

 

Disambiguation of "Guerrero, Dalton Serey"

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.

Lilián Guerrero

François-Prâseth Sérey

Chan Thong Sérey

Dalton Macaulay

Pablo Guerrero

 

Other publications of authors with the same name

An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems., , , and . SMC, page 172-177. IEEE, (1998)Do developers discuss design?, , , , and . MSR, page 340-343. ACM, (2014)Structural conformance checking with design tests: An evaluation of usability and calability., , and . ICSM, page 143-152. IEEE Computer Society, (2011)Model checking in object-oriented Petri nets., , and . SMC (5), page 4977-4982. IEEE, (2004)An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment., , and . Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 338-354. Springer, (2001)A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids., , , , and . SEFM, page 226-235. IEEE Computer Society, (2006)On the Precision and Accuracy of Impact Analysis Techniques., , , , and . ACIS-ICIS, page 513-518. IEEE Computer Society, (2008)On the Evolutionary Nature of Architectural Violations., , , and . WCRE, page 257-266. IEEE Computer Society, (2012)Design tests: An approach to programmatically check your code against design rules., , and . ICSE Companion, page 255-258. IEEE, (2009)Distributed test agents: a pattern for the development of automatic system tests for distributed applications., , , and . SugarLoafPLoP, page 8:1-8:11. ACM, (2012)