Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines
A Master of Science thesis in Computer Engineering by Abdul Rahim Haddad entitled, "Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines," submitted in June 2016. Thesis advisor is Dr. Khaled El-Fakih and thesis co-advisor is Dr....
محفوظ في:
| المؤلف الرئيسي: | Haddad, Abdul Rahim (author) |
|---|---|
| التنسيق: | doctoralThesis |
| منشور في: |
2016
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://hdl.handle.net/11073/8471 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines
حسب: Ali, Mustafa
منشور في: (2015) -
Incremental and Heuristic Algorithms for Deriving Adaptive Distinguishing Test Cases for Nondeterministic Finite State Machines
حسب: Saleh, Ayat
منشور في: (2017) -
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
حسب: Hassoun, Mark Habib
منشور في: (2015) -
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
حسب: Jadoon, Noshad Khan
منشور في: (2015) -
Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
حسب: Salameh, Tariq Mohammad
منشور في: (2013)