Követés
Damián Adalid
Damián Adalid
Research Assistant in University of Malaga
E-mail megerősítve itt: lcc.uma.es
Cím
Hivatkozott rá
Hivatkozott rá
Év
Using SPIN for automated debugging of infinite executions of Java programs
D Adalid, A Salmerón, M del Mar Gallardo, P Merino
Journal of Systems and Software 90, 61-75, 2014
162014
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
D Adalid, MM Gallardo
arXiv preprint arXiv:1501.02030, 2015
42015
Modeling hybrid systems in Hy-tccp
D Adalid, MM Gallardo
arXiv preprint arXiv:1412.4550, 2014
32014
Testing temporal logic on infinite Java traces
D Adalid, A Salmerón, MM Gallardo, P Merino
MSVVEIS 2012, 2012
12012
Modelling Hybrid Systems on a Concurrent Constraint Paradigm (Work in Progress)
D Adalid, M del Mar Gallardo
XIV Jornadas sobre Programación y Lenguajes, 89, 0
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–5