Formal analysis and verification of embedded systems for healthcare

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

951 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Groote, Jan Friso, Promotor Hooman, Jozef J.M., Promotor, External person Mooij, Arjan, Copromotor
Award date	24 Mar 2016
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-4039-6
Publication status	Published - 24 Mar 2016

Proefschrift

Access to Document

@phdthesis{b5c23edc66e24729a706e8e073067540,

title = "Formal analysis and verification of embedded systems for healthcare",

author = "S. Keshishzadeh",

note = "Proefschrift",

year = "2016",

month = mar,

day = "24",

language = "English",

isbn = "978-90-386-4039-6",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}