Automatic Verification Of UML State Chart By BOGOR Model Checking Tool

Soleimani Neysiani Behzad نويسنده University of Kashan , Babamir Morteza نويسنده