Вы здесь

Главная

Khurshid S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Generalized Symbolic Execution for Model Checking and Testing 2003 Khurshid S., Pasareanu C. S., Visser W. Lecture Notes in Computer Science 17.04.2003
СТ Testing an Intentional Naming Scheme Using Genetic Algorithms 2001 Khurshid S. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.05.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012 2012 Lecture Notes in Computer Science
  1. Derreck J.
  2. Fitzgerald J.
  3. Gnesi S.
  4. Khurshid S.
 13.08.2012
СБ Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010 2010 Lecture Notes in Computer Science
  1. Frappier M.
  2. Gasser U.
  3. Khurshid S.
  4. Laleau R.
 12.05.2010
СБ Runtime Verification: Revised Selected Papers/2nd International Conference, RV 2011, San Francisco,CA,USA, September 2011 2012 Lecture Notes in Computer Science
  1. Khurshid S.
  2. Sen K.
 20.06.2012