- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Formal Methods in System Design 2 (55): 103-135 (2019)
- Ereignis
-
Veröffentlichung
- (wo)
-
Hamburg
- (wer)
-
Universitätsbibliothek der Technischen Universität Hamburg-Harburg
- (wann)
-
2019
- Urheber
-
Bloem, Roderick
Fey, Görschwin
Greif, Fabian
Könighofer, Robert
Pill, Ingo
Riener, Heinz
Röck, Franz
- URN
-
urn:nbn:de:gbv:830-882.062576
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bloem, Roderick
- Fey, Görschwin
- Greif, Fabian
- Könighofer, Robert
- Pill, Ingo
- Riener, Heinz
- Röck, Franz
- Universitätsbibliothek der Technischen Universität Hamburg-Harburg
Entstanden
- 2019
Ähnliche Objekte (12)
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Temporal Logic
Markov temporal logic
Concurrent temporal logic
Inductive temporal logic programming
Tense or temporal logic
Temporal logic, [Pt. 1]
Temporal logic, Pt. 2
Code generation from specifications in higher-order logic
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Development of communication protocols with algebraic temporal specifications
Proofs, programs and executable specifications in higher order logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Temporal Logic
Markov temporal logic
Concurrent temporal logic
Inductive temporal logic programming
Tense or temporal logic
Temporal logic, [Pt. 1]
Temporal logic, Pt. 2
Code generation from specifications in higher-order logic
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Development of communication protocols with algebraic temporal specifications
Proofs, programs and executable specifications in higher order logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Temporal Logic
Markov temporal logic
Concurrent temporal logic
Inductive temporal logic programming
Tense or temporal logic
Temporal logic, [Pt. 1]
Temporal logic, Pt. 2
Code generation from specifications in higher-order logic
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Development of communication protocols with algebraic temporal specifications