Jump to navigation
Pedro R. D'Argenio
Filters:
Author
is
Jan Springintveld
[Clear All Filters]
2001
J. Springintveld
,
Vaandrager, F. W.
, and
D'Argenio, P. R.
,
“
Testing timed automata
”
,
Theor. Comput. Sci.
, vol. 254, pp. 225-257, 2001.
DOI
Google Scholar
paper-199.pdf
(270.62 KB)
1997
J. Springintveld
,
Vaandrager, F. W.
, and
D'Argenio, P. R.
,
“
Testing Timed Automata
”
, University of Twente, 97-17, 1997.
Google Scholar
Main menu
Home
Short CV
Projects
Publications
Students
Cambalache
Facultad de
Matemática, Astronomía, Física y Computación
Sección de Ciencias de la Computación
Dependable System Group
Home
Short CV
Projects
Publications
ORCID
DBLP
Google Scholar
Scopus
Research Gate
Semantic Scholar
ACM Digital Library
Aminer
Students
Cambalache