Insup Lee

Digital Library

ACM Fellows

USA - 2017

citation

For theoretical and practical contributions to compositional real-time scheduling and runtime verification

Press Release