Показ 1 - 2 результатів із 2 для пошуку 'Gavrielov, G', час виконання запиту: 0.02сек. Уточнити результати
  1. 1
    Assume-guarantee validation for STE properties within an SVA environment

    Assume-guarantee validation for STE properties within an SVA environment за авторством Khasidashvili, Z, Gavrielov, G, Melham, T

    Опубліковано 2009
    Conference item
  2. 2
    Assume−Guarantee Validation for STE Properties within an SVA Environment

    Assume−Guarantee Validation for STE Properties within an SVA Environment за авторством Khasidashvili, Z, Gavrielov, G, Melham, T

    Опубліковано 2009
    Conference item

Інструменти для пошуку: