View all staff
Doctor Reza Rezazadeh

Dr Reza Rezazadeh

Senior Teaching Fellow

Connect with Reza

Email: [email protected]

Tel: +44 23 8059 3233

ORCID
Publications Biography
Publications Biography

Publications

27 publications
Page 3 of 3
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh & Michael Butler, 2011
Type: conference
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
Sanaz Yeganefard, Michael Butler & Abdolbaghi Rezazadeh, 2010
Type: conference
On an extensible rule-based prover for event-B
Issam Maamria, Michael Butler, Andrew Edmunds & Abdolbaghi Rezazadeh, 2010
Type: conference
Redevelopment of an industrial case study using Event-B and Rodin
Abdolbaghi Rezazadeh, Neil Evans & Michael Butler, 2007
Type: conference
Formal Patterns for Web-based Systems Design
Abdolbaghi Rezazadeh, 2006
Type: thesis
Some Guidelines for Formal Development of Web-based Applications in B-Method
Abdolbaghi Rezazadeh & Michael Butler, 2005
Type: conference
Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems
Abdolbaghi Rezazadeh & Michael Butler, 2003
Type: conference
How to edit profile