You are here: TUCS > PUBLICATIONS > Publication Search > Rigorous Development of Safety...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Rigorous Development of Safety-Critical Systems
Yuliya Prokhorova, Rigorous Development of Safety-Critical Systems. TUCS Dissertations 193. 2015.
BibTeX entry:
@PHDTHESIS{phdProkhorova_Yuliya15a,
title = {Rigorous Development of Safety-Critical Systems},
author = {Prokhorova, Yuliya},
number = {193},
series = {TUCS Dissertations},
year = {2015},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)