( en | de | ru )

 

Disambiguation of "Bonifácio, Adilson Luiz"

Author of the publication

copydeleteadd this publication to your clipboard
Devising a conflict detection method for multi-party contracts.

, and . SCCC, page 1-6. IEEE, (2015)

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.

Michael Bonifacio

Adilson Gonzaga

Thomas Luiz

Luiz Dahlheim

Luiz Bicca

 

Other publications of authors with the same name

Automatically running experiments on checking multi-party contracts., and . Artif. Intell. Law, 29 (3): 287-310 (2021)Discretising and testing timed contextual models., and . Int. J. Comput. Appl. Technol., 54 (2): 121-137 (2016)Language-Based Testing for Pushdown Reactive Systems.. SBMF, volume 14414 of Lecture Notes in Computer Science, page 75-91. Springer, (2023)Devising a conflict detection method for multi-party contracts., and . SCCC, page 1-6. IEEE, (2015)Test Suite Completeness and Partial Models., and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 96-110. Springer, (2014)A Generalized Model-Based Test Generation Method., , and . SEFM, page 139-148. IEEE Computer Society, (2008)Model Partitions and Compact Test Case Suites., , and . Int. J. Found. Comput. Sci., 23 (1): 147-172 (2012)Modeling and Parameters Synthesis for an Air Traffic Management System., and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 316-334. Springer, (2000)A Tool to Support Model-Based Testing Activities., and . SBESC, page 21-26. IEEE Computer Society, (2011)A Model-Based Testing Tool for Asynchronous Reactive Systems., and . CoRR, (2020)