D. Yahiatene

الانتماء : University of Sciences and Technology Houari Boumediene

1منشورات (انتماء جزائري)
1مجموع المنشورات
0الاستشهادات

الملف البحثي

لدى D. Yahiatene 1 منشور(ات) مفهرسة (2008). تُنشر أعماله أساسًا في «IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)». شارك في تأليف أعماله 1 باحثًا على الأقل.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

Formal Methods in Verification
Real-Time Systems Scheduling
Petri Nets in System Modeling

المنشورات (1)

Efficient computation of state space over approximation of preemptive real time systems
2008 · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)

المؤلفون المشاركون

Abdelkrim Abdelli

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).