Monografie
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation
- Ausgabe
-
[1. Auflage]
- Sprache
-
Deutsch
- Umfang
-
xv, 124 Seiten
- ISBN
-
978-3-8440-7039-2
- Identifier
-
1197717838
- Reihe
-
IAS-Forschungsberichte; 2019, Band 2
- Thema
-
Zellner, Andreas; Automatisierungstechnik ; Verteiltes System ; Steuerungssystem ; Programmänderung ; Softwaretest ; Funktionalität ; Formale Methode ; Automatisierungssystem; Verifikation; Düren; Stuttgart; Hochschulschrift
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:22 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
- Monografie
Beteiligte
Ähnliche Objekte (12)
Petri-Netz-basierte Verifikation von funktionalen Testfällen
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
Perspektiven funktionalen Denkens
Verteilte kommunizierende mechatronische Funktionsmodule : von der mechatronisch funktionalen Modularisierung bis zur verteilten HIL-Realisierung
Grundlagen der funktionalen Programmierung
Grundzüge der funktionalen Unternehmensbewertung
Praxis der funktionalen Stimmtherapie
Chemie an funktionalen Polymer-Opalen
Anmerkungen zum landwirtschftlich-funktionalen Rahmenplan
Ablaufschema der landwirtschaftlich-funktionalen Vorplanung
Petri-Netz-basierte Verifikation von funktionalen Testfällen
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
Perspektiven funktionalen Denkens
Verteilte kommunizierende mechatronische Funktionsmodule : von der mechatronisch funktionalen Modularisierung bis zur verteilten HIL-Realisierung
Grundlagen der funktionalen Programmierung
Grundzüge der funktionalen Unternehmensbewertung
Praxis der funktionalen Stimmtherapie
Chemie an funktionalen Polymer-Opalen
Anmerkungen zum landwirtschftlich-funktionalen Rahmenplan
Ablaufschema der landwirtschaftlich-funktionalen Vorplanung
Petri-Netz-basierte Verifikation von funktionalen Testfällen
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
Perspektiven funktionalen Denkens
Verteilte kommunizierende mechatronische Funktionsmodule : von der mechatronisch funktionalen Modularisierung bis zur verteilten HIL-Realisierung
Grundlagen der funktionalen Programmierung
Grundzüge der funktionalen Unternehmensbewertung
Praxis der funktionalen Stimmtherapie
Chemie an funktionalen Polymer-Opalen
Anmerkungen zum landwirtschftlich-funktionalen Rahmenplan