Media type: E-Book; Thesis Title: Formalisation and analysis of system requirements Contributor: Langenfeld, Vincent [Author] Published: Freiburg im Breisgau, 2023 Extent: 1 Online-Ressource (152 Seiten); Illustrationen, Diagramme Language: English DOI: 10.6094/UNIFR/240644 Identifier: Keywords: Requirements engineering ; Formale Methode ; Hochschulschrift Origination: University thesis: Dissertation, Albert-Ludwigs-Universität Freiburg im Breisgau, 2023 Footnote: Access State: Open Access