Hochschulschrift
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844070392
3844070397
- Maße
-
21 cm, 209 g
- Umfang
-
xv, 124 Seiten
- Ausgabe
-
[1. Auflage]
- Sprache
-
Deutsch
- Anmerkungen
-
Illustrationen
Universität Stuttgart, Dissertation, 2019
- Erschienen in
-
IAS-Forschungsberichte / Universität Stuttgart ; 2019, Band 2
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Zellner, Andreas
Automatisierungstechnik
Verteiltes System
Steuerungssystem
Programmänderung
Softwaretest
Funktionalität
Verifikation
Formale Methode
Automatisierungssystem
Verifikation
Düren
Stuttgart
- Ereignis
-
Veröffentlichung
- (wo)
-
Düren
- (wer)
-
Shaker Verlag
- (wann)
-
2019
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:19 MESZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Zeller, Andreas
- Shaker Verlag
- Shaker Verlag
Entstanden
- 2019
Ähnliche Objekte (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