Hochschulschrift
Dependable service robot : from hazard identification to formal verification of safety requirements
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844014358
- Dimensions
-
21 cm, 221 g
- Extent
-
XVII, 128 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Zugl.: Bremen, Univ., Diss., 2012
- Bibliographic citation
-
Publication series of the Institute of Automation, University of Bremen / 3 / Institut für Automatisierungstechnik ; Nr. 6, Ser. 3
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Serviceroboter
Sicherheitskritisches System
Zuverlässigkeit
Sicherheitsanalyse
Anforderungsdefinition
Überwachungseinrichtung
Steuerungssystem
Diskretes Ereignissystem
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
2012
- Creator
-
Fotoohi, Leila
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:00 PM CET
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
- Fotoohi, Leila
- Shaker
Time of origin
- 2012
Other Objects (12)
Robot safety
Robot reliability and safety
Universal Pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements
Safety Map: A Tool for Global Robot Safety Evaluation and Safe Robot Design
Nanomaterials safety : toxicity and health hazards
Temporal verification of reactive systems : safety
Reactor Safety and hazards evaluation techniques, 2
Reactor Safety and hazards evaluation techniques, 1
Automated verification of system requirements and software specifications
Verification requirements for a nuclear agreement with Iran
Deductive verification of safety-critical Java programs
Multi-Agent Safety Verification using Symmetry Transformations
Robot safety
Robot reliability and safety
Universal Pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements
Safety Map: A Tool for Global Robot Safety Evaluation and Safe Robot Design
Nanomaterials safety : toxicity and health hazards
Temporal verification of reactive systems : safety
Reactor Safety and hazards evaluation techniques, 2
Reactor Safety and hazards evaluation techniques, 1
Automated verification of system requirements and software specifications
Verification requirements for a nuclear agreement with Iran
Deductive verification of safety-critical Java programs
Multi-Agent Safety Verification using Symmetry Transformations
Robot safety
Robot reliability and safety
Universal Pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements
Safety Map: A Tool for Global Robot Safety Evaluation and Safe Robot Design
Nanomaterials safety : toxicity and health hazards
Temporal verification of reactive systems : safety
Reactor Safety and hazards evaluation techniques, 2
Reactor Safety and hazards evaluation techniques, 1
Automated verification of system requirements and software specifications
Verification requirements for a nuclear agreement with Iran
Deductive verification of safety-critical Java programs