Automated techniques for formal verification of SoCs الإنجليزية (Q6075354)
2009 doctoral thesis by Roopak Sinha at University of Auckland الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Automated techniques for formal verification of SoCs |
2009 doctoral thesis by Roopak Sinha at University of Auckland |
بيانات
Wikidata item الإنجليزية