fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Decentralization

Export list as BibTeX file

2021

  • June 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene and Carmen Cârlan In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2021. IEEE. Details DOI BIB