Publications
Filters: Author is Henrik C. Bohnenkamp [Clear All Filters]
, “MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems”, IEEE Trans. Software Eng., vol. 32, no. 10, pp. 812-830, 2006.
paper-22.pdf (1.78 MB)
paper-22.pdf (1.78 MB)