☰
أعضاء هيئة التدريس - جامعة بنها
English
تسجيل الدخول
الرئيسية
المقررات
البحوث
الرسايل
تقارير
كتب منشورة
مؤتمرات / ورش عمل
إشراف على رسائل دكتوراه
إشراف على رسائل الماجستير
الإشراف على المشاريع
التعليم
المهارات اللغوية
المناصب
العضويات والجوائز
اللجان
الخبرات
الأنشطة العلمية
روابط داخلية
روابط خارجية
الأخبار
ألبوم الصور
عدد الأبحاث المنشورة
10 عدد الأبحاث المنشورة
Verifikation und Validierung sicherheitsgerichteter SPS-Programme.
Springer-Verlag
2013
الملخص
On Formal Verification of Function Block Applications in Safety-related Software Development.
2013
الملخص
Transformation of Function Block Diagrams to UPPAAL Timed Automata for the Verification of Safety Applications.
Elsevier
2012
البحث الكامل
الملخص
Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models
IFAC
2012
البحث الكامل
الملخص
Verification and validation of safety applications based on PLCopen safety function blocks
Elsevier Ltd.
2011
البحث الكامل
الملخص
Towards an Automated Verification Process for Industrial Safety Applications
IEEE
2011
البحث الكامل
الملخص
A methodology to upgrade legacy industrial systems to meet safety regulations
IEEE
2011
البحث الكامل
الملخص
Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene
2010
البحث الكامل
الملخص
Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in Uppaal
IFAC
2009
البحث الكامل
الملخص
Control of a Forced-Circulation Evaporator System as a Case Study for Control Engineering Education
2004
الملخص
أعضاء هيئة التدريس - جامعة بنها
أعضاء هيئة التدريس - جامعة بنها
أعضاء هيئة التدريس - جامعة بنها