Jürgen Dobaj, Johannes Iber, Michael Krisper, Christian Kreiner. Towards Executable Dependability Properties. In Xabier Larrucea, Izaskun Santamaria, Rory V. O'Connor, Richard Messnarz, editors, Systems, Software and Services Process Improvement - 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings. Volume 896 of Communications in Computer and Information Science, pages 341-353, Springer, 2018. [doi]
Abstract is missing.