• search hit 4 of 4
Back to Result List

Temporal Logics as Examples of Formal Description Techniques for Timed Systems

  • The notion of formal description techniques for timed systems (T-FDTs) has been introduced in [EDK98a] to provide a unifying framework for description techniques that are formal and that allow to describe the ongoing behavior of systems. In this paper we show that three well known temporal logics, MTL, MTL-R , and CTL*, can be embedded in this framework. Moreover, we provide evidence that a large number of dioeerent kinds of temporal logics can be considered as T-FDTs.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Martin Kronenburg, Thomas Deiß, Robert Eschbach
URN (permanent link):urn:nbn:de:hbz:386-kluedo-4169
Serie (Series number):Sonderforschungsbereich 501 (1998,7)
Document Type:Preprint
Language of publication:English
Year of Completion:1998
Year of Publication:1998
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011