( en | de | ru )

 

Disambiguierung von "Pérez, Sergio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Verification in Erlang by Using Contracts.

, , , und . WFLP, Volume 11285 von Lecture Notes in Computer Science, Seite 56-73. Springer, (2018)

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.

Sergio Pérez-Espejo

Roberto Francisco Pérez Benito

Ema Pérez Bravo

José Guadalupe Pérez-Ramírez

Elsa Pérez Rodriguez

 

Weitere Publikationen von Autoren mit dem selben Namen

Program Slicing Techniques with Support for Unconditional Jumps., , und . ICFEM, Volume 13478 von Lecture Notes in Computer Science, Seite 123-139. Springer, (2022)Analysis of Discrimination Techniques for Low-Cost Narrow-Band Spectrofluorometers., , , und . Sensors, 15 (1): 611-634 (2015)Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited., , , und . ICSME, Seite 73-83. IEEE, (2023)Field-Sensitive Program Slicing., , , und . SEFM, Volume 13550 von Lecture Notes in Computer Science, Seite 74-90. Springer, (2022)The expression dependence graph., , und . J. Log. Algebraic Methods Program., (2025)Building distributed embedded systems with RTLinux-GPL., und . ETFA (1), Seite 161-168. IEEE, (2003)Erlang Code Evolution Control., , , und . LOPSTR, Volume 10855 von Lecture Notes in Computer Science, Seite 128-144. Springer, (2017)A Program Slicer for Java (Tool Paper)., , und . SEFM, Volume 13550 von Lecture Notes in Computer Science, Seite 146-151. Springer, (2022)Thermal Prediction for Immersion Cooling Data Centers Based on Recurrent Neural Networks., , , und . IDEAL (1), Volume 11314 von Lecture Notes in Computer Science, Seite 491-498. Springer, (2018)A model based hybrid numerical control algorithm for the continuous drying of a thick web in an infrared dryer., , und . ICINCO, Seite 324-327. INSTICC Press, (2005)