مرکز منطقه ای اطلاع رساني علوم و فناوري - مدلسازی و وارسی معماری های رویدادگرای زماندار

شماره ركورد كنفرانس :

3446

عنوان مقاله :

مدلسازی و وارسی معماری های رویدادگرای زماندار

پديدآورندگان :

سید مرتضی بابامیر

كليدواژه :

Event-based Architecture , Timed Automata , UPPAAL , Model checking

كشور :

ايران

نويسنده :

سعید دوست علی

كلمات كليدي :

Event-based Architecture, Timed Automata, UPPAAL, Model checking

لينک به اين مدرک :