Kamel Tari

الانتماء : University of Béjaïa

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

الملف البحثي

لدى Kamel Tari 1 منشور(ات) مفهرسة (2016). تُنشر أعماله أساسًا في «International Journal on Software Tools for Technology Transfer». أكثر مقالاته استشهادًا هو «A correct-by-construction model for asynchronously communicating systems» (2016)، وقد استُشهد به 25 مرة. شارك في تأليف أعماله 1 باحثًا على الأقل.

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

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

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

مجالات البحث

Logic, programming, and type systems
Formal Methods in Verification
Model-Driven Software Engineering Techniques

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

A correct-by-construction model for asynchronously communicating systems
2016 · International Journal on Software Tools for Technology Transfer · استُشهد به 25 مرة

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

Zoubeyr Farah

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