Sanaz Yeganefard

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Legal Documents

Top Venues

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Sanaz Yeganefard, Michael J. Butler
Problem decomposition and sub-model reconciliation of control systems in Event-B. IRI (2013)
Sanaz Yeganefard, Michael J. Butler
Control Systems: Phenomena and Structuring Functional Requirement Documents. ICECCS (2012)
Sanaz Yeganefard, Michael J. Butler
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods (2010)