( en | de | ru )

 

Disambiguierung von "Flores, Guillermo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.

, , und . Software Engineering Research and Practice, Seite 403-408. CSREA Press, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gonzalo Flores

Christoph Flores

Octavio Flores

Cristina Flores

Guillermo Medrano

 

Weitere Publikationen von Autoren mit dem selben Namen

A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking., , und . Software Engineering Research and Practice, Seite 403-408. CSREA Press, (2008)Search Space Analysis for the Combined Mathematical Model (Linear and Nonlinear) of the Water Distribution Network Design Problem., , , , und . ICAISC (1), Volume 8467 von Lecture Notes in Computer Science, Seite 347-359. Springer, (2014)Sea Surface Current Velocity Vectors from Passive Remote Sensing Imagery., , und . IGARSS, Seite 8260-8263. IEEE, (2019)Failure Planning in STESCA., und . COMPSAC, Seite 334-335. IEEE Computer Society, (1999)Management of scoring sessions in alternative assessment: the computer-assisted scoring approach, , , und . Computers & Education, (1999)A smart transduction system with PVTA compensation for sensing applications., , , und . MWSCAS, Seite 1-4. IEEE, (2015)7-bit 2.56 GS/s folding ADC with nanometric compatible architecture by using a high dynamic I/O folding amplifier., und . LASCAS, Seite 1-4. IEEE, (2013)Review: Advances in BTI modeling for the design of reliable ICs., , und . CCE, Seite 1-4. IEEE, (2016)Harmonic distortion in switched current cells due to settling error., , und . ICECS, Seite 261-264. IEEE, (2002)RSM and Simplex Optimization for Parametric Fault Diagnosis of Analog Integrated Circuits., und . LATW, Seite 196-200. IEEE, (2000)