Cristin-resultat-ID: 1153468
Sist endret: 10. september 2014, 21:12
Resultat
Doktorgradsavhandling
2014

Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification

Bidragsytere:
  • Vidar Slåtten

Utgiver/serie

Utgiver

Norwegian University of Technology and Science (NTNU)

Serie

Doktoravhandlinger ved NTNU
ISSN 1503-8181
NVI-nivå 0
Finn i kanalregisteret

Om resultatet

Doktorgradsavhandling
Publiseringsår: 2014
Volum: 2014
Hefte: 211
Antall sider: 275
ISBN: 978-82-326-0345-9

Beskrivelse Beskrivelse

Tittel

Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification

Bidragsytere

Vidar Slåtten

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Aktiv cristin-person

Peter Micael Herrmann

Bidragsyterens navn vises på dette resultatet som Peter Michael Herrmann
  • Tilknyttet:
    Veileder
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet

Rolv Richard Berven Bræk

Bidragsyterens navn vises på dette resultatet som Rolv Bræk
  • Tilknyttet:
    Veileder
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1 - 3 av 3