شماره ركورد كنفرانس :
1324
عنوان مقاله :
Automatic Verification Of UML State Chart By BOGOR Model Checking Tool
پديدآورندگان :
Soleimani Neysiani Behzad نويسنده University of Kashan , Babamir Morteza نويسنده
كليدواژه :
UML , Automation , model checking
عنوان كنفرانس :
هفتمين كنفرانس بين المللي فناوري اطلاعات و دانش
شماره مدرك كنفرانس :
4219426
