Modelling Attack-defense Trees Using Timed Automata

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

25 Citationer (Scopus)
OriginalsprogEngelsk
TitelFormal Modeling and Analysis of Timed Systems
ForlagSpringer
Publikationsdato2016
Sider35-50
ISBN (Trykt)978-3-319-44877-0
ISBN (Elektronisk)978-3-319-44878-7
DOI
StatusUdgivet - 2016
Begivenhed14th International Conference on Formal Modelling and Analysis of Timed Systems - Quebec City, Canada
Varighed: 24 aug. 201626 aug. 2016
Konferencens nummer: 14
http://formats2016.lsv.fr/

Konference

Konference14th International Conference on Formal Modelling and Analysis of Timed Systems
Nummer14
LandCanada
ByQuebec City
Periode24/08/201626/08/2016
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind9884
ISSN0302-9743

Citationsformater