Folgen
Damián Adalid
Damián Adalid
Research Assistant in University of Malaga
Bestätigte E-Mail-Adresse bei lcc.uma.es
Titel
Zitiert von
Zitiert von
Jahr
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
182014
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, M del Mar Gallardo, P Merino
International Workshop on Modelling, Simulation, Verification and Validation …, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5