Design of a Test Generation Methodology for ARTIS using Model-Checking with a Generic Modelling Approach
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Chemnitz, Technische Universität Chemnitz, Masterarbeit, 2015
- Keyword
-
Informatik
Validierung
Verifikation
Gegenbeispiel
Flugzeug
Model Checking
Test
- Event
-
Veröffentlichung
- (where)
-
Chemnitz
- (who)
-
Universitätsbibliothek Chemnitz
- (when)
-
2016
- Creator
- Contributor
-
Hardt, Wolfram
Hardt, Wolfram
Torens, Christoph
Heller, Ariane
- URN
-
urn:nbn:de:bsz:ch1-qucosa-195135
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 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
- Vernekar, Ganesh Kamalakar
- Hardt, Wolfram
- Torens, Christoph
- Heller, Ariane
- Universitätsbibliothek Chemnitz
Time of origin
- 2016
Other Objects (12)
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
Development of a WLAN based Generic Vehicle Data Logger
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness
Automated Enrichment of Global World View Information based on Car2X
No-Fly-Region for Multicopter Applications
Entwicklung einer RAD-Plattform im Kontext verteilter Systeme
Collective Enrichment of OpenStreetMap Spatial Data Through Vehicles Equipped with Driver Assistance Systems
Lane Detection based on Contrast Analysis
Evaluation of Lane Detection Algorithms based on an Embedded Platform
Selection and implementation of test framework for automated system test of mobile application
Design of an Evaluation Platform for multimodal 3D Data
International Summerworkshop Computer Science 2013 : Proceedings of International Summerworkshop 17.7. - 19.7.2013
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
Development of a WLAN based Generic Vehicle Data Logger
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness
Automated Enrichment of Global World View Information based on Car2X
No-Fly-Region for Multicopter Applications
Entwicklung einer RAD-Plattform im Kontext verteilter Systeme
Collective Enrichment of OpenStreetMap Spatial Data Through Vehicles Equipped with Driver Assistance Systems
Lane Detection based on Contrast Analysis
Evaluation of Lane Detection Algorithms based on an Embedded Platform
Selection and implementation of test framework for automated system test of mobile application
Design of an Evaluation Platform for multimodal 3D Data
International Summerworkshop Computer Science 2013 : Proceedings of International Summerworkshop 17.7. - 19.7.2013
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
Development of a WLAN based Generic Vehicle Data Logger
Design of a Generic Runtime Monitor Approach using Formal Specifications to Enhance UAV Situational Awareness
Automated Enrichment of Global World View Information based on Car2X
No-Fly-Region for Multicopter Applications
Entwicklung einer RAD-Plattform im Kontext verteilter Systeme
Collective Enrichment of OpenStreetMap Spatial Data Through Vehicles Equipped with Driver Assistance Systems
Lane Detection based on Contrast Analysis
Evaluation of Lane Detection Algorithms based on an Embedded Platform
Selection and implementation of test framework for automated system test of mobile application
Design of an Evaluation Platform for multimodal 3D Data