( en | de | ru )

 

Disambiguation of "dos Santos, Osmar Marchi"

Author of the publication

copydeleteadd this publication to your clipboard
Especificação e Verificação Formal de Sistemas Distribuídos.

, , , and . SBES, page 221-236. SBC, (2003)

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.

Tim dos Santos

Alberto dos Santos

Daniel dos Santos

Paula dos Santos

Daniel dos Santos

 

Other publications of authors with the same name

Cost enforcement in the real-time specification for Java., and . Real Time Syst., 37 (2): 139-179 (2007)A low cost VSLAM prototype using webcams and a smartphone for outdoor application., , , and . SAC, page 268-275. ACM, (2018)Color-Based and Recursive Fiducial Marker for Augmented Reality., , , , and . SIBGRAPI, page 254-261. IEEE Computer Society, (2017)Verifying Object-based Graph Grammars., , , and . Softw. Syst. Model., 5 (3): 289-311 (2006)transML: A Family of Languages to Model Model Transformations., , , , and . MoDELS (1), volume 6394 of Lecture Notes in Computer Science, page 106-120. Springer, (2010)Automated Verification of Executable UML Models., , , , , and . FMCO, volume 6957 of Lecture Notes in Computer Science, page 225-250. Springer, (2010)Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation., and . RTSS, page 177-186. IEEE Computer Society, (2005)Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms., , and . SBESC, page 144-149. IEEE Computer Society, (2014)Engineering model transformations with transML., , , , and . Softw. Syst. Model., 12 (3): 555-577 (2013)Run time detection of timing errors in real-time systems.. University of York, UK, (2008)British Library, EThOS.