Showing 1 - 8 results of 8 for search 'Chechik, Marsha', query time: 0.04s Refine Results
  1. 1
    Abstraction for Verification and Refutation in Model Checking
    by Wei, Ou
    Published 2009
    Other Authors: “...Chechik, Marsha...”
    Get full text
  2. 2
    Behavioural Model Fusion
    by Nejati, Shiva
    Published 2008
    Other Authors: “...Chechik, Marsha...”
    Get full text
    Others
  3. 3
    Approximation and Refinement Techniques for Hard Model-checking Problems
    by Bobaru, Mihaela
    Published 2009
    Other Authors: “...Chechik, Marsha...”
    Get full text
  4. 4
    Dynamic Analysis of Web Services
    by Simmonds, Jocelyn
    Published 2011
    Other Authors: “...Chechik, Marsha...”
    Get full text
  5. 5
    Behavioural Model Fusion
    by Nejati, Shiva
    Published 2008
    Other Authors: “...Chechik, Marsha...”
    Get full text
    Others
  6. 6
    Dynamic Analysis of Web Services
    by Simmonds, Jocelyn
    Published 2011
    Other Authors: “...Chechik, Marsha...”
    Get full text
  7. 7
    Approximation and Refinement Techniques for Hard Model-checking Problems
    by Bobaru, Mihaela
    Published 2009
    Other Authors: “...Chechik, Marsha...”
    Get full text
  8. 8
    Abstraction for Verification and Refutation in Model Checking
    by Wei, Ou
    Published 2009
    Other Authors: “...Chechik, Marsha...”
    Get full text
Search Tools: Get RSS Feed — Email this Search