vix.ing · top · new · best · stats · spec

Sanaz Yeganefard

  1. Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation
    2015/11/03 by Sanaz Yeganefard, Yeganefard, Sanaz, Michael Butler +1 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Model-Driven Software Engineering Techniques