You are here

Home › Research › Publications ›

Digital Twin for Rescue Missions - a Case Study

TitleDigital Twin for Rescue Missions - a Case Study
Publication TypeConference Paper
Year of Publication2023
AuthorsLeucker, M, Sachenbacher, M, Vosteen, LBernd
EditorHallerstede, S, Kamburjan, E
Conference NameProceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023
SeriesCEUR Workshop Proceedings
Volume3507
PublisherCEUR-WS.org
URLhttps://ceur-ws.org/Vol-3507/paper4.pdf
Bibtex: 
@inproceedings {1454,
	title = {Digital Twin for Rescue Missions - a Case Study},
	booktitle = {Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), L{\"u}beck, Germany, March 06, 2023},
	series = {CEUR Workshop Proceedings},
	volume = {3507},
	year = {2023},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-3507/paper4.pdf},
	author = {Martin Leucker and Martin Sachenbacher and Lars Bernd Vosteen},
	editor = {Stefan Hallerstede and Eduard Kamburjan}
}