Document is current
Any future updates will be listed below
-
Authors
Larsen, Peter Gorm https://orcid.org/0000-0002-4589-1500
Esterle, Lukas https://orcid.org/0000-0002-0248-1552
Fitzgerald, John https://orcid.org/0000-0001-7041-1807
Frasheri, Mirgita https://orcid.org/0000-0001-7852-4582
- License Information
-
More Information
Chapter History
First Online: 17 August 2023
Dedication
: It is a pleasure to offer this paper in honour of Jan Peleska, whose leadership in the formal methods and the test automation communities has enabled collaborations research like ours. His work on formal approaches and their application in the rail sector will have a profound and long-lasting impact. Reflecting in particular on our collaboration on formal approaches in systems-of-systems, we thank Jan for the many lessons we have learned from him and for the friendship that he has shown us.
