الرئيسية › دليل الباحثين › D. Borrione

D. Borrione

الانتماء : École Nationale Supérieure d'Informatique

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

ORCIDOpenAlex

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

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

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

مجالات البحث

• Formal Methods in Verification
• Embedded Systems Design Techniques
• Logic, programming, and type systems
• VLSI and FPGA Design Techniques
• Software Testing and Debugging Techniques

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

• Proven correct monitors from PSL specifications
  2006 · HAL
• On-Line Assertion-Based Verification with Proven Correct Monitors
  2005 · HAL · استُشهد به 12 مرة
• LASCAR: a language for simulation of computer architecture
  1975 · HAL · استُشهد به 6 مرة
• System analysis by typology
  1974 · HAL

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