Eva Navarro Lopez - Research output - Research Explorer The University of Manchester

2 results

Filter

2010

Formal verification of an electromechanical system with discontinuous properties
Navarro Lopez, E., 2010, School of Mathematics: University of Manchester. 142 p.
Research output: Thesis › Master's Thesis
2009
Computational model of a rotary system with discontinuous elements
Navarro Lopez, E., 2009, School of Mathematics: University of Manchester. 114 p.
Research output: Thesis › Master's Thesis