A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Sonderforschungsbereich 501 ; 1996,16
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Creator
- URN
-
urn:nbn:de:hbz:386-kluedo-4119
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kronenburg, Martin
- Gotzhein, Reinhard
- Peper, Christian
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (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