Site Tools


person:martin

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 ​