2005 | ||
---|---|---|
2 | Mostafa Naderi, Zainalabedin Navabi: Combination of Assertion and HSAT Methods For Automated Test Vectors Generation. FDL 2005: 479-485 | |
1 | EE | Arash Hooshmand, Saeed Shamshiri, Mohammad Alisafaee, Bijan Alizadeh, Pejman Lotfi-Kamran, Mostafa Naderi, Zainalabedin Navabi: Binary Taylor diagrams: an efficient implementation of Taylor expansion diagrams. ISCAS (1) 2005: 424-427 |
1 | Mohammad Alisafaee | [1] |
2 | Bijan Alizadeh | [1] |
3 | Arash Hooshmand | [1] |
4 | Pejman Lotfi-Kamran | [1] |
5 | Zainalabedin Navabi | [1] [2] |
6 | Saeed Shamshiri | [1] |