Rauf Sajjad

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Robotized model time is a creating examination field. A significant number of representations are furthermore given where model checking has been associated for affirmation of various sorts of model. Such delineations are SAT based checks of UML/OCL models, embeded structures model affirmation, et cetera. In all these kind of employments, the complement is(More)
  • 1