Результаты поиска - "Fault-tolerant computing Congresses."

Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany,...

Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

Available for University of the Philippine Diliman via Springerlink. Click here to access

Spectral techniques and fault detection

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access