You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Book;
Report
Title:
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
Contributor:
Kronenburg, Martin
[Author];
Gotzhein, Reinhard
[Author];
Peper, Christian
[Author]
imprint:
KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999
Language:
English
Origination:
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
A tailored real time temporal logic for specifying requirements of building automation systems is introduced and analyzed. The logic features several new real time operators, which are chosen with regard to the application area. The new operators improve the conciseness and readability of requirements as compared to a general-purpose real time temporal logic. In addition, some of the operators also enhance the expressiveness of the logic. A number of properties of the new operators are presented and proven.