- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 22 (0.051 seconds)Spelling suggestions: "subject:"temporale logik"" "subject:"temporale gogik""
| 1 |
A resolution-based calculus for temporal logicsNonnengart, Andreas. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 1995. / Computerdatei im Fernzugriff.
|
| 2 |
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in TemporallogikBitsch, Friedemann. January 2007 (has links)
Zugl.: Stuttgart, Univ., Diss., 2006.
|
| 3 |
A resolution-based calculus for temporal logicsNonnengart, Andreas. Unknown Date (has links) (PDF)
University, Diss., 1995--Saarbrücken.
|
| 4 |
Spiele und temporallogische Fragmente über SpurenHorsch, Martin. January 2006 (has links)
Stuttgart, Univ., Diplomarbeit, 2006.
|
| 5 |
The theory and practice of runtime reflection a model-based framework for dynamic analysis of distributed reactive systemsBauer, Andreas January 2007 (has links)
Zugl.: München, Techn. Univ., Diss., 2007 u.d.T.: Bauer, Andreas Klaus: Model-based runtime analysis of distributed reactive systems / Hergestellt on demand
|
| 6 |
Integration of graph transformation and temporal logic for the specification of distributed systemsKoch, Manuel. Unknown Date (has links)
Techn. University, Diss., 1999--Berlin.
|
| 7 |
Symbolische LTL-Verifikation von PetrinetzenSpranger, Jochen. Unknown Date (has links) (PDF)
Brandenburgische Techn. Universiẗat, Diss., 2001--Cottbus.
|
| 8 |
An algorithm for the real-time evaluation of temporal trace specificationsLepper, Markus. Unknown Date (has links) (PDF)
Techn. University, Diss., 2004--Berlin.
|
| 9 |
Metric Temporal Description Logics with Interval-Rigid Names: Extended VersionBaader, Franz, Borgwardt, Stefan, Koopmann, Patrick, Ozaki, Ana, Thost, Veronika 20 June 2022 (has links)
In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a growing interest in extending this work to the quantitative case. In this paper, we complement existing results on the combination of DLs with metric temporal logics over the natural numbers by introducing interval-rigid names. This allows to state that elements in the extension of certain names stay in this extension for at least some specified amount of time.
|
| 10 |
Towards unifying semantic constraints and security constraints in distributed information systemsSprick, Barbara. Unknown Date (has links) (PDF)
University, Diss., 2003--Dortmund.
|
Page generated in 0.0555 seconds