Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution الإنجليزية (Q2461840)

من Marefa data
doctoral thesis by Tom Bergan, Computer Science & Engineering, University of Washington, 2014 الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution
    doctoral thesis by Tom Bergan, Computer Science & Engineering, University of Washington, 2014

      بيانات

      Wikidata item الإنجليزية
      Q113668215
      ٠ مرجع
      inception الإنجليزية
      2014http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668215
      author الإنجليزية
      Tom Bergan الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668215
      number of pages الإنجليزية
      ١٢٧ صفحة
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668215
      ٦ Roman-numbered page
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668215
      title الإنجليزية
      Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668215
      language of work or name الإنجليزية
      instance of الإنجليزية
       

      وصلات الموقع

          مجلوبة من «https://data.marefa.org/w/index.php?title=Q2461840&oldid=26791962»