Jump to navigation
Pedro R. D'Argenio
Filters:
Author
is
Henrik C. Bohnenkamp
[Clear All Filters]
2006
H. C. Bohnenkamp
,
D'Argenio, P. R.
,
Hermanns, H.
, and
Katoen, J. - P.
,
“
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
”
,
IEEE Trans. Software Eng.
, vol. 32, no. 10, pp. 812-830, 2006.
DOI
Google Scholar
paper-22.pdf
(1.78 MB)
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