Abstract
Es soll die dreiwertige Semantik für die Timed Linear Temporal Logic betrachtet sowie das passende Automatenmodell, welches die Eigenschaften der Semantik wiederspiegelt, untersucht werden. Außerdem soll die Umwandlung der Formeln der dreiwertigen Semantik in das Automatenmodell in die Logik- und Automatenbibliothek RltlConv implementiert werden.
| Originalsprache | Deutsch |
|---|---|
| Qualifikation | Master of Science |
| Gradverleihende Hochschule | |
| Betreuer/-in / Berater/-in |
|
| Erscheinungsort | Lübeck |
| Publikationsstatus | Veröffentlicht - 2017 |
| Extern publiziert | Ja |