Author:
Raschke Alexander,Méry Dominique
Publisher
Springer Science and Business Media LLC
Reference10 articles.
1. Arcaini, P., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. This issue
2. Boniol, F., Wiels, V.: The landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014: The Landing Gear Case Study, pp. 1–18. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07512-9_1
3. Butler, M., Raschke, A., Hoang, T.S., Reichl, K.: Introduction to special section on the ABZ 2018 case study: hybrid ERTMS/ETCS level 3. Int. J. Softw. Tools Technol. Transf. 22(3), 249–255 (2020). https://doi.org/10.1007/s10009-020-00562-3
4. Cunha, A., Macedo, N., Liu, C.: Validating multiple variants of an automotive light system with electrum. This issue
5. Houdek, F., Raschke, A.: Adaptive exterior light and speed control system. In: Raschke, A., Méry, D., Houdek, F. (eds.) Rigorous State-Based Methods, pp. 281–301. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-48077-6_24