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

3446

عنوان مقاله

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

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

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

كليدواژه

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

كشور

ايران

نويسنده

سعید دوست علی

كلمات كليدي

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