Using qualitative models for safety analysis of industrial automation systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: ICSSEA 2000 - 13th Conference on Software & Systems Engineering and their Applications, Paris, 5.-8. Dezember 2000
- Klassifikation
-
Informatik
- Schlagwort
-
Automation ; Sicherheit ; Modellierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2001
- Urheber
- URN
-
urn:nbn:de:bsz:93-opus-8220
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 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
- Biegert, Uwe
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2001
Ähnliche Objekte (12)
Realization of AI-enhanced industrial automation systems using intelligent Digital Twins
AutomationML - the industrial cookbook
Intelligente Fabrik : Industrial Automation & IT
Analysis of automation software architecture using qualitative and quantitative quality assessment
Using Static Parametric Design to Support Systems Engineering of Industrial Automation Systems
Hardware-in-the-Loop testing of industrial automation systems using PLC languages
Automation and industrial workers, Vol. 1.
Automation and industrial workers, Vol. 2.
Automation and industrial workers, Vol. 2.
Automation and industrial workers, Vol. 1.
Industrial Robots, Workers' Safety, and Health
Industrial robots, workers' safety, and health
Realization of AI-enhanced industrial automation systems using intelligent Digital Twins
AutomationML - the industrial cookbook
Intelligente Fabrik : Industrial Automation & IT
Analysis of automation software architecture using qualitative and quantitative quality assessment
Using Static Parametric Design to Support Systems Engineering of Industrial Automation Systems
Hardware-in-the-Loop testing of industrial automation systems using PLC languages
Automation and industrial workers, Vol. 1.
Automation and industrial workers, Vol. 2.
Automation and industrial workers, Vol. 2.
Automation and industrial workers, Vol. 1.
Industrial Robots, Workers' Safety, and Health
Industrial robots, workers' safety, and health
Realization of AI-enhanced industrial automation systems using intelligent Digital Twins
AutomationML - the industrial cookbook
Intelligente Fabrik : Industrial Automation & IT
Analysis of automation software architecture using qualitative and quantitative quality assessment
Using Static Parametric Design to Support Systems Engineering of Industrial Automation Systems
Hardware-in-the-Loop testing of industrial automation systems using PLC languages
Automation and industrial workers, Vol. 1.
Automation and industrial workers, Vol. 2.
Automation and industrial workers, Vol. 2.
Automation and industrial workers, Vol. 1.
Industrial Robots, Workers' Safety, and Health