On methods and tools for rigorous system design
Crossref DOI link: https://doi.org/10.1007/s10009-021-00632-0
Published Online: 2021-06-22
Published Print: 2021-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bliudze, Simon
Katsaros, Panagiotis
Bensalem, Saddek
Wirsing, Martin
Funding for this research was provided by:
Ludwig-Maximilians-Universität München
Text and Data Mining valid from 2021-06-22
Version of Record valid from 2021-06-22
Article History
Accepted: 8 June 2021
First Online: 22 June 2021