Showing 1 - 6 results of 6 for search '"Computer software Reliability Congresses."', Forespørselstid: 0.02s Refine Results
  1. 1

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

    Udgivet 2014
    Bog

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

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

    Udgivet 2013
    Bog

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

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

    Udgivet 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
  4. 4

    Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

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

    Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings
  5. 5

    Tests and proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings

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

    Tests and proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings
  6. 6

    Software system reliability and security

    Udgivet 2007
    Bog

    Software system reliability and security

Søgeredskaber: