Dreiwertige Timed-LTL-Semantik.

Dominik  Huber

Dreiwertige Timed-LTL-Semantik.

Dominik Huber

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.

Original language	German
Qualification	Master of Science
Awarding Institution
Supervisors/Advisors	Leucker, Martin, Supervisor Tantau, Till, Supervisor
Place of Publication	Lübeck
Publication status	Published - 2017
Externally published	Yes

Cite this

@mastersthesis{5b9d7ed350a040d49b1e985e6007bb41,

title = "Dreiwertige Timed-LTL-Semantik.",

abstract = "Es soll die dreiwertige Semantik f{\"u}r die Timed Linear Temporal Logic betrachtet sowie das passende Automatenmodell, welches die Eigenschaften der Semantik wiederspiegelt, untersucht werden. Au{\ss}erdem soll die Umwandlung der Formeln der dreiwertigen Semantik in das Automatenmodell in die Logik- und Automatenbibliothek RltlConv implementiert werden.",

author = "Dominik Huber",

year = "2017",

language = "Deutsch",

}

TY - THES

T1 - Dreiwertige Timed-LTL-Semantik.

AU - Huber, Dominik

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

UR - https://www.isp.uni-luebeck.de/thesis/mehrwertige-timed-ltl-semantiken

M3 - Masterarbeiten

CY - Lübeck

ER -

Dreiwertige Timed-LTL-Semantik.

Abstract

Other files and links

Cite this