> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: A mechanized verification environment for real-time process algebras and low-level programming languages Weitere Titel: Eine mechanisierte Verifikationsumgebung für zeitbehaftete Prozessalgebren und Low-Level Programmiersprachen Beteiligte: Bartels, Björn [Verfasser]; Glesner, Sabine [Akademischer Betreuer]; Olderog, Ernst-Rüdiger [Akademischer Betreuer]; Jähnichen, Stefan [Akademischer Betreuer] Erschienen: Berlin: Technische Universität Berlin, 2014 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: formal verification; low-level code; process-algebras; conformance relation ; Formale Verifikation; Low-Level Programme; Prozessalgebren; Konformitätsrelationen ; Hochschulschrift Entstehung: Hochschulschrift: Berlin, Technische Universität Berlin, Diss., 2014 Anmerkungen: Zugangsstatus: Freier Zugang