Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1027076734 |
Art des Inhalts | Hochschulschrift |
Titel | Dependable service robot : from hazard identification to formal verification of safety requirements / Leila Fotoohi |
Person(en) | Fotoohi, Leila (Verfasser) |
Verlag | Aachen : Shaker |
Zeitliche Einordnung | Erscheinungsdatum: 2012 |
Umfang/Format | XVII, 128 S. : Ill., graph. Darst. ; 21 cm, 221 g |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Dependable Service Robot – from Hazard Identification to Formal Verification of Safety Requirements |
Hochschulschrift | Zugl.: Bremen, Univ., Diss., 2012 |
ISBN/Einband/Preis | 978-3-8440-1435-8 kart. : EUR 45.80 (DE), EUR 45.80 (AT), sfr 57.25 (freier Pr.) |
EAN | 9783844014358 |
Sprache(n) | Englisch (eng) |
Beziehungen | Universität Bremen. Institut für Automatisierungstechnik: Publication series of the Institute of Automation, University of Bremen / Ser. 3 / Robotics ; Nr. 6 |
Schlagwörter | Serviceroboter ; Sicherheitskritisches System ; Zuverlässigkeit ; Sicherheitsanalyse ; Anforderungsdefinition ; Überwachungseinrichtung ; Steuerungssystem ; Diskretes Ereignissystem ; Verifikation |
DDC-Notation | 629.893 [DDC22ger] |
Sachgruppe(n) | 621.3 Elektrotechnik, Elektronik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2013 A 17045 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2013 A 12626 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
