Formal specification and analysis of hybrid systems

K.L. Man; R.R.H. Schiffelers

doi:10.6100/IR601210

Formal specification and analysis of hybrid systems

K.L. Man, R.R.H. Schiffelers

Formal System Analysis

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

297 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science Mechanical Engineering
Begeleider(s)/adviseur	Rooda, Koos, Promotor Baeten, Jos, Promotor van Beek, D.A. (Bert), Co-Promotor Reniers, Michel A., Co-Promotor
Datum van toekenning	7 feb. 2006
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	90-386-2997-4
DOI's	https://doi.org/10.6100/IR601210
Status	Gepubliceerd - 2006

Bibliografische nota

K.L. Man; Department of Mathematics and Computer Science; Supervisors: J.C.M. Baeten and J.E. Rooda; co-supervisor: M.A. Reniers
R.R.H. Schiffelers; Department of Mechanical Engineering; Supervisors: J.E. Rooda and J.C.M. Baeten; Co-promotor: D.A. van Beek

Toegang tot document

10.6100/IR601210

200513739Definitieve gepubliceerde versie, 1,33 MB

Citeer dit

@phdthesis{35971790533c4fb480fed6b3e1930807,

title = "Formal specification and analysis of hybrid systems",

author = "K.L. Man and R.R.H. Schiffelers",

note = "K.L. Man; Department of Mathematics and Computer Science; Supervisors: J.C.M. Baeten and J.E. Rooda; co-supervisor: M.A. Reniers R.R.H. Schiffelers; Department of Mechanical Engineering; Supervisors: J.E. Rooda and J.C.M. Baeten; Co-promotor: D.A. van Beek ",

year = "2006",

doi = "10.6100/IR601210",

language = "English",

isbn = "90-386-2997-4",

publisher = "Technische Universiteit Eindhoven",

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

school = "Mathematics and Computer Science, Mechanical Engineering",

}

TY - THES

T1 - Formal specification and analysis of hybrid systems

AU - Man, K.L.

AU - Schiffelers, R.R.H.

N1 - K.L. Man; Department of Mathematics and Computer Science; Supervisors: J.C.M. Baeten and J.E. Rooda; co-supervisor: M.A. Reniers R.R.H. Schiffelers; Department of Mechanical Engineering; Supervisors: J.E. Rooda and J.C.M. Baeten; Co-promotor: D.A. van Beek

PY - 2006

Y1 - 2006

U2 - 10.6100/IR601210

DO - 10.6100/IR601210

M3 - Phd Thesis 1 (Research TU/e / Graduation TU/e)

SN - 90-386-2997-4

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -