A Formal Systems Engineering Approach in Practice: An Experience Report

Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger and Karsten Rahn

SER&IPs, pp. 34–41

2014