( en | de | ru )

 

Disambiguation of "Garcia, Diego"

Author of the publication

copydeleteadd this publication to your clipboard
Practical Verification Strategy for Refinement Conditions in UML Models

, and . (2006)
DOI: 10.1007/978-0-387-34831-5_4

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.

Juan Diego Garcia

Alexander Diego

Jesús Diego Linares

Luisa García García

Diego Garcia-Borreguero y Diaz-Varela

 

Other publications of authors with the same name

Low cost implementation of a biomimetic approach for UAV health management., , , and . ACC, page 2265-2270. IEEE, (2016)Radiometric Correction of Simultaneously Acquired Landsat-7/Landsat-8 and Sentinel-2A Imagery Using Pseudoinvariant Areas (PIA): Contributing to the Landsat Time Series Legacy., , , , , , , , , and 2 other author(s). Remote. Sens., 9 (12): 1319 (2017)Anomaly Detection in Predictive Maintenance: A New Evaluation Framework for Temporal Unsupervised Anomaly Detection Algorithms., , , , , , , , and . CoRR, (2021)A Domain Specific Language for the Development of Collaborative Systems., , and . SCCC, page 3-12. IEEE Computer Society, (2008)Privacy Protection Mechanisms for Web Service Technology., , , and . SERA, page 337-344. IEEE Computer Society, (2010)An intrinsic order criterion to evaluate large, complex fault trees., , and . IEEE Trans. Reliability, 53 (3): 297-305 (2004)Prognosis of Water Quality Sensors Using Advanced Data Analytics: Application to the Barcelona Drinking Water Network., , and . Sensors, 20 (5): 1342 (2020)Practical Verification Strategy for Refinement Conditions in UML Models, and . (2006)Convergence and Biases of Monte Carlo estimates of American option prices using a parametric exercise rule. Journal of Economic Dynamics and Control, 27 (10): 1855--1879 (August 2003)An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE., and . MoDELS, volume 4199 of Lecture Notes in Computer Science, page 646-660. Springer, (2006)