This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
person:martin [2018-12-26 17:14] I-Jeong Woo |
person:martin [2020-10-23 12:16] (current) 이건표 |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| ^ Graduate | 2013 | ::: | | ^ Graduate | 2013 | ::: | | ||
| ^ Graduation thesis | Efficient Verification of Data Races in Interrupt-Driven Embedded Software | ::: | | ^ Graduation thesis | Efficient Verification of Data Races in Interrupt-Driven Embedded Software | ::: | | ||
| + | ^ Affiliation | Electrical and Computer Engineering University of Waterloo &# | ||