Safety is no accident: contributions to achieving certifiable safe software

Ernst Kesseler

Faculty of Science and Engineering

Research output: Thesis › Thesis fully internal (DIV)

4116 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	University of Groningen
Supervisors/Advisors	Bosch, Jan, Supervisor
Award date	19-Sept-2008
Place of Publication	[S.l.]
Publisher	[s.n.]
Print ISBNs	9789036734882
Publication status	Published - 2008

Keywords

Proefschriften (vorm)
Programmatuurtechniek, Databescherming
programmatuurontwikkeling

Access to Document

Title and contentsFinal publisher's version, 37.4 KB
SamenvattingFinal publisher's version, 42.7 KB
AbstractFinal publisher's version, 42.2 KB
AcknowledgementsFinal publisher's version, 35.8 KB
AbbreviationsFinal publisher's version, 38.1 KB
ContentsFinal publisher's version, 58.6 KB
Chapter 1Final publisher's version, 217 KB
Chapter 2Final publisher's version, 410 KB
Chapter 3Final publisher's version, 300 KB
Chapter 4Final publisher's version, 223 KB
Chapter 5Final publisher's version, 146 KB
Chapter 6Final publisher's version, 409 KB
Chapter 7Final publisher's version, 210 KB
ConclusionsFinal publisher's version, 105 KB
ReferencesFinal publisher's version, 108 KB
Complete thesisFinal publisher's version, 6.7 MB

Handle.net

Persistent link

Cite this

@phdthesis{2e45e94e151247f39a7d90b279758c61,

title = "Safety is no accident: contributions to achieving certifiable safe software",

keywords = "Proefschriften (vorm), Programmatuurtechniek, Databescherming, programmatuurontwikkeling",

author = "Ernst Kesseler",

note = "Relation: http://www.rug.nl/ date\_submitted:2008 Rights: University of Groningen",

year = "2008",

language = "English",

isbn = "9789036734882",

publisher = "[s.n.]",

school = "University of Groningen",

}

TY - BOOK

T1 - Safety is no accident

T2 - contributions to achieving certifiable safe software

AU - Kesseler, Ernst

N1 - Relation: http://www.rug.nl/ date_submitted:2008 Rights: University of Groningen

PY - 2008

Y1 - 2008

KW - Proefschriften (vorm)

KW - Programmatuurtechniek, Databescherming

KW - programmatuurontwikkeling

M3 - Thesis fully internal (DIV)

SN - 9789036734882

PB - [s.n.]

CY - [S.l.]

ER -