Software design for resilient computer systems Por Schagaev, Igor, Eugene Zouev, Kaegi Thomas

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

Software design for resilient computer systems Por Schagaev, Igor, Kaegi-Trachsel, Thomas

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

Reliable software for unreliable hardware a cross layer perspective Por Rehman, Semeen, Shafique, Muhammad, Henkel, J.

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

Resilient computer system design Por Castano, Victor, Schagaev, Igor

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

HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA

HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

Software engineering for resilient systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

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

Model-based requirements engineering Por Holt, Jon, Perry, Simon A., Brownsword, Mike

Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy

Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

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

Introduction to reliable and secure distributed programming Por Cachin, Christian

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