Dependable Software Systems Engineering
Preview
Ana Cavalcanti, Alexandre Mota, and Jim Woodcock. Simulink timed models for
program verification. In Zhiming Liu, Jim Woodcock, and Huibiao Zhu, editors,
Theories of Programming and Formal Methods, volume 8051 of LNCS, pages ...