Abstract
Es soll eine vierwertige Semantik für die Timed Linear Temporal Logic entwickelt sowie ein passendes Automatenmodell, welches die Eigenschaften der Semantik wiederspiegelt, angegeben werden. Außerdem soll die Umwandlung der Formeln der neu entwickelten Semantik in das Automatenmodell in die Logik- und Automatenbibliothek RltlConv implementiert werden.
| Originalsprache | Deutsch |
|---|---|
| Qualifikation | Bachelor of Science |
| Gradverleihende Hochschule | |
| Betreuer/-in / Berater/-in |
|
| Publikationsstatus | Veröffentlicht - 2016 |
| Extern publiziert | Ja |