الرئيسية › دليل الباحثين › Batouche Chawki

Batouche Chawki

الانتماء : University Ferhat Abbas of Setif

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

OpenAlex

الملف البحثي

لدى Batouche Chawki 1 منشور(ات) مفهرسة (2007). تُنشر أعماله أساسًا في «Journal of Computer Science». أكثر مقالاته استشهادًا هو «Formal Analysis of Fault-tolerant Algorithm in the Time-triggered Architecture» (2007)، وقد استُشهد به 1 مرة. شارك في تأليف أعماله 2 باحثًا على الأقل.

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

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

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

مجالات البحث

• Logic, programming, and type systems
• Formal Methods in Verification
• Distributed systems and fault tolerance

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

• Formal Analysis of Fault-tolerant Algorithm in the Time-triggered Architecture
  2007 · Journal of Computer Science · استُشهد به 1 مرة

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

• Zibouda Aliouat
• Makhlouf Aliouat

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