Are Elevator Software Robust Against Uncertainties? Results and Experiences from an Industrial Case Study

Are Elevator Software Robust Against Uncertainties? Results and Experiences from an Industrial Case Study

Authors
L. Han, T. Yue, S. Ali, A. Arrieta and M. Arratibel