Media type: E-Book Title: Trustworthy Verification of Realtime Systems Other titles: Vertrauenswürdige Verifikation von Echtzeitsystemen Contributor: Wimmer, Simon [Author]; Nipkow, Tobias [Degree supervisor]; Nipkow, Tobias [Other]; van de Pol, Jaco [Other] Published: München: Universitätsbibliothek der TU München, 2020 Extent: Online-Ressource Language: English Identifier: Keywords: DAT Datenverarbeitung, Informatik Origination: University thesis: Dissertation, München, Technische Universität München, 2020 Footnote: Access State: Open Access