Explore Books on
sicherheitskritisches system
1-8 of 8 Books
View Adaptive control of systems with actuator failures By Gang Tao,Shuhao Chen,Xidong Tang,Suresh M. Joshi 
Adaptive control of systems with actuator failures
By Gang Tao,Shuhao Chen,Xidong Tang,Suresh M. Joshi
View Computer Safety, Reliability, and Security By Janusz Górski 
Computer Safety, Reliability, and Security
By Janusz Górski
View Applications of neural networks in high assurance systems By Johann M. Schumann,Yan Liu 
Applications of neural networks in high assurance systems
By Johann M. Schumann,Yan Liu
View Formal Methods for Industrial Critical Systems By Darren Cofer 
Formal Methods for Industrial Critical Systems
By Darren Cofer
View Computer Safety, Reliability, and Security By Bettina Buth 
Computer Safety, Reliability, and Security
By Bettina Buth
View Formal Methods Foundations and Applications
Lecture Notes in Computer Science By Jim Woodcock 
Formal Methods Foundations and Applications Lecture Notes in Computer Science
By Jim Woodcock
View Architecting critical systems By ISARCS 2010 (2010 Prague, Czech Republic) 
Architecting critical systems
By ISARCS 2010 (2010 Prague, Czech Republic)
View Formal 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
By International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)