Explore: Sicherheitskritisches System
Discover books, insights, and more — all in one place.
Learn more about Sicherheitskritisches System with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “sicherheitskritisches-system”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Adaptive control of systems with actuator failures
By Gang Tao, Shuhao Chen, Xidong Tang and Suresh M. Joshi
“Adaptive control of systems with actuator failures” Metadata:
- Title: ➤ Adaptive control of systems with actuator failures
- Authors: Gang TaoShuhao ChenXidong TangSuresh M. Joshi
- Language: English
- Number of Pages: Median: 299
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2004 - 2010 - 2013
“Adaptive control of systems with actuator failures” Subjects and Themes:
- Subjects: ➤ Actuators - Reliability - Adaptive control systems - Fehlermodell - Aktor - Sicherheitskritisches System - Adaptivregelung - Kompensation - Fehlererkennung - Mechanical engineering
Edition Identifiers:
- The Open Library ID: OL37211229M - OL37118775M - OL8974411M
- Library of Congress Control Number (LCCN): 2003067314
- All ISBNs: ➤ 9781852337889 - 9781447137580 - 9781849969178 - 1447137582 - 1849969175 - 1852337885
First Setence:
"Adaptive control systems adjust controller parameters using system response errors to obtain desired performance."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Adaptive control of systems with actuator failures at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Computer Safety, Reliability, and Security
By Janusz Górski
“Computer Safety, Reliability, and Security” Metadata:
- Title: ➤ Computer Safety, Reliability, and Security
- Author: Janusz Górski
- Language: English
- Number of Pages: Median: 440
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006
“Computer Safety, Reliability, and Security” Subjects and Themes:
- Subjects: ➤ Mensch-Maschine-Kommunikation - Zuverlässigkeit - Computersicherheit - Technische Sicherheit - Sicherheitskritisches System - Computer software - Fehlertoleranz - Eingebettetes System - Datensicherung - Formale Methode - Reliability - Congresses - Computer security - Electronic digital computers - Softwareentwicklung - Systementwicklung - Computer software, reliability - Electronic digital computers, reliability - Industrial safety
Edition Identifiers:
- The Open Library ID: OL37121934M - OL9058041M
- Online Computer Library Center (OCLC) ID: 71814298
- Library of Congress Control Number (LCCN): 2006932795
- All ISBNs: 3540457623 - 9783540457633 - 9783540457626 - 3540457631
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer Safety, Reliability, and Security at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Applications of neural networks in high assurance systems
By Johann M. Schumann and Yan Liu
“Applications of neural networks in high assurance systems” Metadata:
- Title: ➤ Applications of neural networks in high assurance systems
- Authors: Johann M. SchumannYan Liu
- Language: English
- Number of Pages: Median: 245
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin
“Applications of neural networks in high assurance systems” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Sicherheitskritisches System - Neural networks (Computer science) - Neuronales Netz - Verification - Reglerentwurf - Adaptivregelung - System safety - Validation - Neural networks (computer science) - Expert systems (computer science)
Edition Identifiers:
- The Open Library ID: OL25272663M
- Online Computer Library Center (OCLC) ID: 471802816
- Library of Congress Control Number (LCCN): 2009942253
- All ISBNs: 3642106897 - 3642106900 - 9783642106897 - 9783642106903
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Applications of neural networks in high assurance systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Formal Methods Foundations and Applications Lecture Notes in Computer Science
By Jim Woodcock
“Formal Methods Foundations and Applications Lecture Notes in Computer Science” Metadata:
- Title: ➤ Formal Methods Foundations and Applications Lecture Notes in Computer Science
- Author: Jim Woodcock
- Number of Pages: Median: 361
- Publisher: Springer
- Publish Date: 2010
“Formal Methods Foundations and Applications Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Information Systems - Computer science - Software engineering - Formal methods (Computer science) - Congresses - Fehlertoleranz - Kongress - Formale Methode - Model Checking - Sicherheitskritisches System - Interrupt <Informatik> - Software - Testen - Programmverifikation - Verifikation - Interrupt (Informatik) - System design
Edition Identifiers:
- The Open Library ID: OL26141020M
- Library of Congress Control Number (LCCN): 2009938928
- All ISBNs: 3642104517 - 9783642104510
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Methods Foundations and Applications Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Formal Methods for Industrial Critical Systems
By Darren Cofer
“Formal Methods for Industrial Critical Systems” Metadata:
- Title: ➤ Formal Methods for Industrial Critical Systems
- Author: Darren Cofer
- Language: English
- Number of Pages: Median: 243
- Publisher: ➤ Springer Berlin Heidelberg - Springer
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Methods for Industrial Critical Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Formal methods (Computer science) - Congresses - Computer programs - Verification - Reliability - Computer software - Programmverifikation - Kongress - Softwarespezifikation - Formale Methode - Zuverlässigkeit - Sicherheitskritisches System - Eingebettetes System - Softwareentwicklung - Fehlertoleranz - Systementwurf - Model Checking - Verifikation - System design
Edition Identifiers:
- The Open Library ID: OL25555301M
- Online Computer Library Center (OCLC) ID: 428011993
- Library of Congress Control Number (LCCN): 2009930950
- All ISBNs: 9783642032400 - 9783642032394 - 3642032400 - 3642032397
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Methods for Industrial Critical Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Architecting critical systems
By ISARCS 2010 (2010 Prague, Czech Republic)
“Architecting critical systems” Metadata:
- Title: Architecting critical systems
- Author: ➤ ISARCS 2010 (2010 Prague, Czech Republic)
- Language: English
- Number of Pages: Median: 192
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Architecting critical systems” Subjects and Themes:
- Subjects: ➤ Fehlertoleranz - Systèmes, Conception de - Computer architecture - Software engineering - Tolérance aux fautes (informatique) - Logiciel - Congrès - Architecture des ordinateurs - Zuverlässigkeit - Congresses - System design - Sicherheitskritisches System - Softwarearchitektur - Fault-tolerant computing
- Places: Prag <2010>
Edition Identifiers:
- The Open Library ID: OL25365591M
- Online Computer Library Center (OCLC) ID: 642809672
- Library of Congress Control Number (LCCN): 2010928429
- All ISBNs: 3642135552 - 9783642135552
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Architecting critical systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Formal methods for industrial critical systems
By International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)
“Formal methods for industrial critical systems” Metadata:
- Title: ➤ Formal methods for industrial critical systems
- Author: ➤ International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)
- Language: English
- Number of Pages: Median: 230
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Formal methods for industrial critical systems” Subjects and Themes:
- Subjects: ➤ Software engineering - Formale Methode - Model Checking - Computer programs - Zuverlässigkeit - Softwareentwicklung - Congresses - Verification - Sicherheitskritisches System - Reliability - Formal methods (Computer science) - Systementwurf - Verifikation - Computer software - Logic design - Computer science
- Places: Antwerpen <2010>
Edition Identifiers:
- The Open Library ID: OL25365636M
- Online Computer Library Center (OCLC) ID: 666218587
- Library of Congress Control Number (LCCN): 2010934239
- All ISBNs: 3642158978 - 9783642158971
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal methods for industrial critical systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Computer Safety, Reliability, and Security
By Bettina Buth
“Computer Safety, Reliability, and Security” Metadata:
- Title: ➤ Computer Safety, Reliability, and Security
- Author: Bettina Buth
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Computer Safety, Reliability, and Security” Subjects and Themes:
- Subjects: ➤ Computer system performance - Information systems - Software engineering - Data protection - Computer science - Computer software - Congresses - Reliability - Electronic digital computers - Computer security - Industrial safety - Computersicherheit - Kongress - Datensicherung - Zuverlässigkeit - Formale Methode - Eingebettetes System - Softwareentwicklung - Mensch-Maschine-Kommunikation - Technische Sicherheit - Systementwicklung - Sicherheitskritisches System - Fehlertoleranz
Edition Identifiers:
- The Open Library ID: OL25540340M
- Online Computer Library Center (OCLC) ID: 437303393
- Library of Congress Control Number (LCCN): 2009934307
- All ISBNs: 9783642044687 - 3642044689 - 9783642044670 - 3642044670
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer Safety, Reliability, and Security at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.