A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Sonderforschungsbereich 501 ; 1996,16
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Urheber
- URN
-
urn:nbn:de:hbz:386-kluedo-4119
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 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
- Kronenburg, Martin
- Gotzhein, Reinhard
- Peper, Christian
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1999
Ähnliche Objekte (12)
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Specifying communication protocols with temporal logic
Method for Specifying Location Data Requirements for Intralogistics Applications
Specifying message passing and time critical systems with temporal logic
Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
Specifying Speed Spacing
Dynamic Skills Management: Identifying Skills Requirements Early, Devising Tailored Solutions
Automatisierung der flexiblen Handhabung schmiedewarmer Tailored Forming Bauteile : Automation of flexible handling of hot forged Tailored Forming components
Specifying component invariants with OCL
Specifying data objects with initial algebras
Specifying and Monitoring Non-functional Properties
Specifying nodes as sets of actions
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Specifying communication protocols with temporal logic
Method for Specifying Location Data Requirements for Intralogistics Applications
Specifying message passing and time critical systems with temporal logic
Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
Specifying Speed Spacing
Dynamic Skills Management: Identifying Skills Requirements Early, Devising Tailored Solutions
Automatisierung der flexiblen Handhabung schmiedewarmer Tailored Forming Bauteile : Automation of flexible handling of hot forged Tailored Forming components
Specifying component invariants with OCL
Specifying data objects with initial algebras
Specifying and Monitoring Non-functional Properties
Specifying nodes as sets of actions
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Specifying communication protocols with temporal logic
Method for Specifying Location Data Requirements for Intralogistics Applications
Specifying message passing and time critical systems with temporal logic
Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
Specifying Speed Spacing
Dynamic Skills Management: Identifying Skills Requirements Early, Devising Tailored Solutions
Automatisierung der flexiblen Handhabung schmiedewarmer Tailored Forming Bauteile : Automation of flexible handling of hot forged Tailored Forming components
Specifying component invariants with OCL
Specifying data objects with initial algebras
Specifying and Monitoring Non-functional Properties