Jump to Content

Generating embedded software from hierarchical hybrid models

Rajeev Alur
Jesung Kim
Insup Lee
Oleg Sokolsky
LCTES (2003), pp. 171-182

Abstract

Research Areas