A Formal Systems Engineering Approach in Practice: An Experience Report

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

SER&IPs, pp. 34–41

2014