You are here: TUCS > PUBLICATIONS > Publication Search > Model-Driven Development and V...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Model-Driven Development and Verification of Fault Tolerant Systems
Kashif Javed, Model-Driven Development and Verification of Fault Tolerant Systems. TUCS Dissertations 223. 2017.
BibTeX entry:
@PHDTHESIS{phdJaved_Kashif17a,
title = {Model-Driven Development and Verification of Fault Tolerant Systems},
author = {Javed, Kashif},
number = {223},
series = {TUCS Dissertations},
year = {2017},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)