You are here

Home › Research › Publications ›

Formal Model of Energy System using Attack Trees

TitleFormal Model of Energy System using Attack Trees
Publication TypeConference Paper
Year of Publication2025
AuthorsAli, ATanko, Gruska, DP, Leucker, M
Conference Name21st IEEE International Conference on Smart Technologies, EUROCON 2025, Gdynia, Poland, June 4-6, 2025
PublisherIEEE
URLhttps://doi.org/10.1109/EUROCON64445.2025.11073303
DOI10.1109/EUROCON64445.2025.11073303
Bibtex: 
@inproceedings {1498,
	title = {Formal Model of Energy System using Attack Trees},
	booktitle = {21st IEEE International Conference on Smart Technologies, EUROCON 2025, Gdynia, Poland, June 4-6, 2025},
	year = {2025},
	publisher = {IEEE},
	organization = {IEEE},
	doi = {10.1109/EUROCON64445.2025.11073303},
	url = {https://doi.org/10.1109/EUROCON64445.2025.11073303},
	author = {Aliyu Tanko Ali and Damas P. Gruska and Martin Leucker}
}