Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "11801109X"
Treffer 7 von 10
|
|
| Link zu diesem Datensatz | https://d-nb.info/1151312479 |
| Titel | Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models / Ahmed Mahdi ; Martin Fränzle, Bernd Becker, Oliver Theel |
| Person(en) |
Mahdi, Ahmed (Verfasser) Fränzle, Martin (Akademischer Betreuer) Becker, Bernd (Akademischer Betreuer) Theel, Oliver (Akademischer Betreuer) |
| Verlag | Oldenburg : BIS der Universität Oldenburg |
| Zeitliche Einordnung | Erscheinungsdatum: 2017 |
| Umfang/Format | Online-Ressource |
| Hochschulschrift | Dissertation, Oldenburg, Universität Oldenburg, 2017 |
| Persistent Identifier | URN: urn:nbn:de:gbv:715-oops-35265 |
| URL | http://oops.uni-oldenburg.de/3445 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 7 von 10
Administration
