Publications
Paolo Salvaneschi, editors, Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, volume 14131 of Lecture Notes in Computer [...] Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, volume 12478 [...] the 10th IFAC Symposium on Control in Transportation Systems. Elsevier Science Ltd, Oxford, 2003 Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska. HybridUML Profile for UML 2.0 . SVERTS