Search Results

Showing 61 - 76 results of 76 for search '"model checking"', query time: 0.29s Refine Results
  1. 61
    ... in Model Checking to model concurrent and distributed systems. The framework allows to induce new flow...
    Get access
    Get access
    Get access
    Get access
    Conference Object
  2. 62
    ... in Model Checking to model concurrent and distributed systems. The framework allows to induce new flow...
    Get access
    Get access
    Get access
    Get access
    Conference Object
  3. 63
    ... properties that are precalculated based on model checking. As local knowledge is not always sufficient...
    Get access
    Get access
    Get access
    Get access
    Conference Object
  4. 64
    ... properties that are precalculated based on model checking. As local knowledge is not always sufficient...
    Get access
    Get access
    Get access
    Get access
    Conference Object
  5. 65
    ... properties that are precalculated based on model checking. As local knowledge is not always sufficient...
    Get access
    Get access
    Get access
    Get access
    Conference Object
  6. 66
    by Khalid, Sadaf, Arif, Fahim
    Published 2012
    ...\", SPIN Model Checking and Software Verification, Springer,\npp. 331-342, 2000.", "R. O-Callahan and J-D...
    Get access
    Get access
    Text
  7. 67
    by Khalid, Sadaf, Arif, Fahim
    Published 2012
    ...\", SPIN Model Checking and Software Verification, Springer,\npp. 331-342, 2000.", "R. O-Callahan and J-D...
    Get access
    Get access
    Text
  8. 68
  9. 69
  10. 70
  11. 71
  12. 72
  13. 73
  14. 74
  15. 75
    by Meese, Andreas Nordby
    Published 2013
    ... model checks if cyclic load conditions are probable using environmental parameters.Data from the winter...
    Get access
    Master Thesis
  16. 76
Search Tools: Get RSS Feed