-
1
Integrated formal methods 16th international conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, proceedings
Veröffentlicht 2020DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
2
Software engineering for resilient systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings
Veröffentlicht 2017
VolltextElektronisch Tagungsbericht E-Book -
3
Computer safety, reliability, and security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Veröffentlicht 2019DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
4
Computer safety, reliability, and security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings
Veröffentlicht 2019DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
5
Dependability and computer engineering concepts for software-intensive systems
Veröffentlicht 2012DE-706
DE-1049
DE-898
DE-1050
DE-83
URL des Erstveröffentlichers
Elektronisch E-Book