Design of a Test Generation Methodology for ARTIS using Model-Checking with a Generic Modelling Approach
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Chemnitz, Technische Universität Chemnitz, Masterarbeit, 2015
- Schlagwort
-
Informatik
Validierung
Verifikation
Gegenbeispiel
Flugzeug
Model Checking
Test
- Ereignis
-
Veröffentlichung
- (wo)
-
Chemnitz
- (wer)
-
Universitätsbibliothek Chemnitz
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
-
Hardt, Wolfram
Hardt, Wolfram
Torens, Christoph
Heller, Ariane
- URN
-
urn:nbn:de:bsz:ch1-qucosa-195135
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 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
- Vernekar, Ganesh Kamalakar
- Hardt, Wolfram
- Torens, Christoph
- Heller, Ariane
- Universitätsbibliothek Chemnitz
Entstanden
- 2016
Ähnliche Objekte (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