Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 | Symbolic asynchronous hardware protocol verification for compositions with relative timing | 2010 | Text | ir_etd | |
2 | New verification method for embedded systems | 2010-12 | Text | ir_etd | |
3 | An integration of dynamic MPI formal verification within eclipse PTP | 2010-03-15 | Text; Image | ir_uspace |