A. Rezazadeh

发表

G. Wills, A. Rezazadeh, Abeer Akkad, 2022, IoTBDS.

Michael J. Butler, Abdolbaghi Rezazadeh, Sanaz Yeganefard, 2010, NASA Formal Methods.

Michael J. Butler, Mohammadsadegh Dalvandi, Abdolbaghi Rezazadeh, 2017, Sci. Comput. Program..

Michael J. Butler, Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, 2015, Formal Aspects of Computing.

Michael J. Butler, Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, 2012, SEFM.

Andrew Edmunds, Abdolbaghi Rezazadeh, Michael Butler, 2011 .

Michael Poppleton, Abdolbaghi Rezazadeh, M. Poppleton, 2012 .

Michael J. Butler, Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, 2011, NASA Formal Methods.

Abdolbaghi Rezazadeh, A. Rezazadeh, 2006 .

C. Snook, A. Rezazadeh, Ahmed Al-Brashdi, 2022 .

G. Wills, A. Rezazadeh, Abeer Akkad, 2022, 2022 Saudi Arabia Smart Grid (SASG).

Michael J. Butler, Mohammadsadegh Dalvandi, Abdolbaghi Rezazadeh, 2015, FSEN.