-
1
Model-based dependability evaluation of critical control systems a practical survey of advanced techniques for model-based system testing and reliability evaluation
Veröffentlicht 2009Abschlussarbeit Buch -
2
Resilience of cyber-physical systems from risk modelling to threat counteraction
Veröffentlicht 2019Weitere Verfasser: “… Flammini, Francesco …”
VolltextElektronisch E-Book -
3
Dependable Computing – EDCC 2022 Workshops SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings
Veröffentlicht 2022Weitere Verfasser:
VolltextElektronisch E-Book -
4
Dependable Computing - EDCC 2020 Workshops AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
Veröffentlicht 2020Weitere Verfasser:
VolltextElektronisch E-Book -
5
Resilience of cyber-physical systems from risk modelling to threat counteraction
Veröffentlicht 2019Weitere Verfasser: “… Flammini, Francesco …”
Buch -
6
Railway safety, reliability, and security technologies and systems engineering
Veröffentlicht 2012Weitere Verfasser: “… Flammini, Francesco …”
DE-706
DE-1049
DE-898
DE-1050
DE-83
URL des Erstveröffentlichers
Elektronisch E-Book -
7
Formal methods for industrial critical systems (FMICS'2014)
Veröffentlicht 2016Weitere Verfasser:Tagungsbericht Buch -
8
Assessing COVID-19 and Other Pandemics and Epidemics using Computational Modelling and Data Analysis
Veröffentlicht 2022Weitere Verfasser: DE-634
DE-1043
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-523
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch E-Book