Cristin-resultat-ID: 2028109
Sist endret: 30. mai 2022, 13:17
Resultat
Doktorgradsavhandling
2022

Using Formal Methods for Modelling Cyber-Physical Systems Security

Bidragsytere:
  • Livinus Obiora Nweke

Utgiver/serie

Utgiver

NTNU Grafisk Senter

Serie

Doctoral theses at NTNU
ISSN 2703-8084

Om resultatet

Doktorgradsavhandling
Publiseringsår: 2022
Hefte: 2022:169
Antall sider: 153

Beskrivelse Beskrivelse

Tittel

Using Formal Methods for Modelling Cyber-Physical Systems Security

Bidragsytere

Livinus Obiora Nweke

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1 - 1 av 1