Formal Specifications of Real-Time Requirements for Building Automation Systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Sonderforschungsbereich 501 ; 1997,01
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Urheber
-
Kronenburg, Martin
Gotzhein, Reinhard
Peper, Christian
- URN
-
urn:nbn:de:hbz:386-kluedo-4127
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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
Automatic detection of contradictions in requirements specifications
Using Semantic Web Technology in Requirements Specifications
Active coevolutionary learning of requirements specifications from examples
Automated verification of system requirements and software specifications
Enrichment of Requirements Specifications with Videos: Enhancing the Comprehensibility of Textual Requirements
Enrichment of Requirements Specifications with Videos - Enhancing the Comprehensibility of Textual Requirements
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
Automatic glossary term extraction from large-scale requirements specifications
Improving the consistency and completeness of safety requirements specifications
Using tools to assist identification of non-requirements in requirements specifications : A controlled experiment
100 years building automation
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Automatic detection of contradictions in requirements specifications
Using Semantic Web Technology in Requirements Specifications
Active coevolutionary learning of requirements specifications from examples
Automated verification of system requirements and software specifications
Enrichment of Requirements Specifications with Videos: Enhancing the Comprehensibility of Textual Requirements
Enrichment of Requirements Specifications with Videos - Enhancing the Comprehensibility of Textual Requirements
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
Automatic glossary term extraction from large-scale requirements specifications
Improving the consistency and completeness of safety requirements specifications
Using tools to assist identification of non-requirements in requirements specifications : A controlled experiment
100 years building automation
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Automatic detection of contradictions in requirements specifications
Using Semantic Web Technology in Requirements Specifications
Active coevolutionary learning of requirements specifications from examples
Automated verification of system requirements and software specifications
Enrichment of Requirements Specifications with Videos: Enhancing the Comprehensibility of Textual Requirements
Enrichment of Requirements Specifications with Videos - Enhancing the Comprehensibility of Textual Requirements
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
Automatic glossary term extraction from large-scale requirements specifications
Improving the consistency and completeness of safety requirements specifications
Using tools to assist identification of non-requirements in requirements specifications : A controlled experiment