Open menu
View all staff
Doctor Reza Rezazadeh

Doctor Reza Rezazadeh

Senior Teaching Fellow

Connect with Reza

Email: ra3@ecs.soton.ac.uk

Address: B53, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

ORCID
Publications Supervision Biography

Publications

27 publications
Page 3 of 3
On an extensible rule-based prover for event-B
Issam Maamria,
Michael Butler,
Andrew Edmunds,
& Abdolbaghi Rezazadeh
, 2010
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
, 2009
Type: report
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
Back to top