University of Limerick Institutional Repository

Browsing University of Limerick Theses & Dissertations by Author "Lorge Parnas, David"

DSpace/Manakin Repository

Browsing University of Limerick Theses & Dissertations by Author "Lorge Parnas, David"

Sort by: Order: Results:

  • Liu, Zhiying (University of Limerick, 2011)
    The problem to be studied in this thesis is how to verify a set of mathematical design documents in the sense that if each component is implemented correctly, the whole system should work together harmoniously to satisfy ...

Search DSpace


Advanced Search

Browse

My Account