Formal verification of an electromechanical system with discontinuous properties

Research output: Thesis › Master's Thesis

Original language	English
Awarding Institution	The University of Manchester
Place of Publication	School of Mathematics
Publisher	University of Manchester
Publication status	Published - 2010

Keywords

@mastersthesis{1fdff8143e774ffb942511e8359306b9,

title = "Formal verification of an electromechanical system with discontinuous properties",

keywords = "Formal verification, Hybrid automata, Hybrid systems, Discontinuous systems, Simulation of complex behaviours",

author = "{Navarro Lopez}, Eva",

year = "2010",

language = "English",

publisher = "University of Manchester",

address = "United Kingdom",

school = "The University of Manchester",

}