Publisher
Springer Nature Switzerland
Reference59 articles.
1. Adam, S., Larsen, M., Jensen, K., Schultz, U.P.: Rule-based dynamic safety monitoring for mobile robots. J. Softw. Eng. Robot. 7(1), 120–141 (2016)
2. Lecture Notes in Computer Science;A Amendola,2020
3. Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011). https://doi.org/10.1109/MS.2011.27
4. Behrmann, G., et al.: UPPAAL 4.0. In: Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006, pp. 125–126. IEEE Computer Society, USA (2006). https://doi.org/10.1109/QEST.2006.59
5. Lecture Notes in Computer Science;F Bitsch,2001