Towards Executable Dependability Properties

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]

Authors

Jürgen Dobaj

This author has not been identified. Look up 'Jürgen Dobaj' in Google

Johannes Iber

This author has not been identified. Look up 'Johannes Iber' in Google

Michael Krisper

This author has not been identified. Look up 'Michael Krisper' in Google

Christian Kreiner

This author has not been identified. Look up 'Christian Kreiner' in Google