Dependability

Results: 351



#Item
1Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001

Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2011-11-07 15:32:17
2

PDF Document

Add to Reading List

Source URL: jclaprie-award.dependability.org

- Date: 2016-04-19 09:20:18
    3Improving the Dependability of Data Center-Scale Computations Daniel * Porto ,

    Improving the Dependability of Data Center-Scale Computations Daniel * Porto ,

    Add to Reading List

    Source URL: eurosys2011.cs.uni-salzburg.at

    Language: English - Date: 2015-09-23 13:52:12
      4Computing manuscript No. (will be inserted by the editor) Dependability Certification of Services: A Model-Based Approach Claudio A. Ardagna · Ravi Jhawar ·

      Computing manuscript No. (will be inserted by the editor) Dependability Certification of Services: A Model-Based Approach Claudio A. Ardagna · Ravi Jhawar ·

      Add to Reading List

      Source URL: spdp.di.unimi.it

      Language: English - Date: 2013-08-30 12:51:48
        5Project DEPLOY Grant Agreement “Industrial deployment of advanced system engineering methods for high productivity and dependability”  DEPLOY Deliverable D2

        Project DEPLOY Grant Agreement “Industrial deployment of advanced system engineering methods for high productivity and dependability” DEPLOY Deliverable D2

        Add to Reading List

        Source URL: www.deploy-project.eu

        Language: English - Date: 2012-10-09 13:54:54
          6Project DEPLOY Grant Agreement “Industrial deployment of advanced system engineering methods for high productivity and dependability”  DEPLOY Deliverable D2

          Project DEPLOY Grant Agreement “Industrial deployment of advanced system engineering methods for high productivity and dependability” DEPLOY Deliverable D2

          Add to Reading List

          Source URL: www.deploy-project.eu

          Language: English - Date: 2012-10-09 13:54:55
            7Proceedings ofthe 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems

            Proceedings ofthe 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems

            Add to Reading List

            Source URL: certs2016.uni.lu

              8Volkswagen dependability Appearance Protection Fully backed by Volkswagen Canada  Appearance Protection is the only product of its kind backed

              Volkswagen dependability Appearance Protection Fully backed by Volkswagen Canada Appearance Protection is the only product of its kind backed

              Add to Reading List

              Source URL: www.vw.ca

              - Date: 2016-12-15 09:50:29
                9GENERAL INSURANCE Rating Methodology T  he dependability and

                GENERAL INSURANCE Rating Methodology T he dependability and

                Add to Reading List

                Source URL: jcrvis.com.pk

                - Date: 2016-08-02 09:52:39
                  10fx-115ES PLUS Packed with features typically reserved for graphing calculators, CASIO’s latest and most advanced solar-plus-battery scientific calculator provides long life and dependability. With its new Natural Textb

                  fx-115ES PLUS Packed with features typically reserved for graphing calculators, CASIO’s latest and most advanced solar-plus-battery scientific calculator provides long life and dependability. With its new Natural Textb

                  Add to Reading List

                  Source URL: www.education.casio.com

                  - Date: 2015-07-23 09:47:44