Toon 1 - 10 resultaten van 38 Voor zoekopdracht '"Computer software Reliability"', zoektijd: 0,03s Verfijn jouw resultaten
  1. 1

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

    Gepubliceerd in 2020
    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
    Electronic Resource

    Software design for resilient computer systems
  2. 2

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

    Gepubliceerd in 2016
    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
    Electronic Resource

    Software design for resilient computer systems
  3. 3

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

    Gepubliceerd in 2016
    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
    Electronic Resource

    Reliable software for unreliable hardware a cross layer perspective
  4. 4

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

    Gepubliceerd in 2015
    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
    Electronic Resource

    Resilient computer system design
  5. 5

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

    Gepubliceerd in 2014
    Boek

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

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

    Gepubliceerd in 2013
    Boek

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

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

    Gepubliceerd in 2013
    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
    Electronic Resource

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

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

    Gepubliceerd in 2012
    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
    Electronic Resource

    Model-based requirements engineering
  9. 9

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

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

    Introduction to reliable and secure distributed programming door Cachin, Christian

    Gepubliceerd in 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Introduction to reliable and secure distributed programming

Zoekinstrumenten: