Hochschulschrift
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844070392
3844070397
- Dimensions
-
21 cm, 209 g
- Extent
-
xv, 124 Seiten
- Edition
-
[1. Auflage]
- Language
-
Deutsch
- Notes
-
Illustrationen
Universität Stuttgart, Dissertation, 2019
- Bibliographic citation
-
IAS-Forschungsberichte / Universität Stuttgart ; 2019, Band 2
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Zellner, Andreas
Automatisierungstechnik
Verteiltes System
Steuerungssystem
Programmänderung
Softwaretest
Funktionalität
Verifikation
Formale Methode
Automatisierungssystem
Verifikation
Düren
Stuttgart
- Event
-
Veröffentlichung
- (where)
-
Düren
- (who)
-
Shaker Verlag
- (when)
-
2019
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:19 PM CEST
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.
Object type
- Hochschulschrift
Associated
- Zeller, Andreas
- Shaker Verlag
- Shaker Verlag
Time of origin
- 2019
Other Objects (12)
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Eine Systemumgebung zum verteilten funktionalen Rechnen
Systemsimulationen zur funktionalen Verifikation von HF- und Mixed-Signal-Schaltungen
Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation
Vollständige funktionale Verifikation
Verteilte kommunizierende mechatronische Funktionsmodule : von der mechatronisch funktionalen Modularisierung bis zur verteilten HIL-Realisierung
Perspektiven funktionalen Denkens
Praxis der funktionalen Stimmtherapie
Grundzüge der funktionalen Unternehmensbewertung
Grundlagen der funktionalen Programmierung
Bilanzen der funktionalen Kontorechnung
Kaufkraftanalyse nach funktionalen Gebietseinheiten
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Eine Systemumgebung zum verteilten funktionalen Rechnen
Systemsimulationen zur funktionalen Verifikation von HF- und Mixed-Signal-Schaltungen
Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation
Vollständige funktionale Verifikation
Verteilte kommunizierende mechatronische Funktionsmodule : von der mechatronisch funktionalen Modularisierung bis zur verteilten HIL-Realisierung
Perspektiven funktionalen Denkens
Praxis der funktionalen Stimmtherapie
Grundzüge der funktionalen Unternehmensbewertung
Grundlagen der funktionalen Programmierung
Bilanzen der funktionalen Kontorechnung
Kaufkraftanalyse nach funktionalen Gebietseinheiten
Petri-Netz-basierte Verifikation von funktionalen Testfällen
Eine Systemumgebung zum verteilten funktionalen Rechnen
Systemsimulationen zur funktionalen Verifikation von HF- und Mixed-Signal-Schaltungen
Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation
Vollständige funktionale Verifikation
Verteilte kommunizierende mechatronische Funktionsmodule : von der mechatronisch funktionalen Modularisierung bis zur verteilten HIL-Realisierung
Perspektiven funktionalen Denkens
Praxis der funktionalen Stimmtherapie
Grundzüge der funktionalen Unternehmensbewertung
Grundlagen der funktionalen Programmierung
Bilanzen der funktionalen Kontorechnung