![]() | ![]() |
2005 | ||
---|---|---|
2 | EE | Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur: Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. HSCC 2005: 306-321 |
2004 | ||
1 | EE | Antonis Papachristodoulou, Lun Li, John C. Doyle: Methodological frameworks for large-scale network analysis and design. Computer Communication Review 34(3): 7-20 (2004) |
1 | Kartik Ariyur | [2] |
2 | John Doyle (John C. Doyle) | [1] |
3 | Sonja Glavaski | [2] |
4 | Lun Li | [1] |