most citedAn Efficient Solution for Model Checking Abstract State Machine Using Bogor

8 citations · 8 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2014★ 8 cited

An Efficient Solution for Model Checking Abstract State Machine Using Bogor

Saeed Doostali

Nowadays, publish subscribe and event based architecture are frequently used for developing loosely coupled distributed systems. Hence, it is desirable to find a proper solution to…