acm sigbed
|
emsoft
|
participants
Junkil Park
EMSOFT 2015: 15th International Conference on Embedded Software
Automatic Verification of Linear Controller Software
Miroslav Pajic
,
Junkil Park
,
Insup Lee
,
George J. Pappas
, and
Oleg Sokolsky
10.1109/EMSOFT.2015.7318277
https://repository.upenn.edu/cgi/viewcontent.cgi?article=1852&context=cis_papers