"WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its ..."

Steven Varoumas, Tristan Crolard (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics