Moncef Trima

الانتماء : Badji Mokhtar-Annaba University

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

الملف البحثي

لدى Moncef Trima 1 منشور(ات) مفهرسة (2018). تُنشر أعماله أساسًا في «International Symposium on Programming and Systems (ISPS)». شارك في تأليف أعماله 1 باحثًا على الأقل.

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

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

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

مجالات البحث

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

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

Graphical notation and tool to design JCSP programs
2018 · International Symposium on Programming and Systems (ISPS)

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

Toufik Benouhiba

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