Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 30.04.2025: Die Lesesäle im Hauptgebäude der Deutschen Nationalbibliothek in Leipzig schließen wegen einer Veranstaltung um 14 Uhr. Der Museums- und der Musiklesesaal sowie der Servicebereich sind bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // The reading rooms in the main building of the German National Library in Leipzig will close at 14:00 due to an event. The museum reading room, the music reading room and the service area are open until 18.00. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: idn=1051574749



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1051574749
Art des Inhalts Hochschulschrift
Titel Verification and Validation of Logic Control Safety Applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen / Doaa Soliman
Person(en) Soliman, Doaa (Verfasser)
Ausgabe 1. Aufl.
Verlag Aachen : Shaker
Zeitliche Einordnung Erscheinungsdatum: 2013
Umfang/Format Online-Ressource : 10 Ill. (pdf)
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Soliman, Doaa: Verification and validation of logic control safety applications
Hochschulschrift Zugl.: Universität des Saarlandes, Saarbrücken, Diss., 2012
Persistent Identifier URN: urn:nbn:de:101:1-2014052512976
ISBN/Einband/Preis 978-3-8440-1757-1
Sprache(n) Englisch (eng)
Beziehungen Berichte aus der Automatisierungstechnik
Anmerkungen Lizenzpflichtig
Schlagwörter Sicherheitskritisches System ; Speicherprogrammierte Steuerung ; Funktionssicherheit ; Softwaresystem ; IEC 61131 ; Programmierbare logische Anordnung ; Zeitbehafteter Automat ; Verifikation ; Validierung ; Formale Methode
DDC-Notation 629.895512 [DDC22ger]
Sachgruppe(n) 621.3 Elektrotechnik, Elektronik ; 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration