5 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Mostafavi Amjad Davoud, Zolfy Lighvan Mina
This paper is about modeling and verification languages with their pros and cons. Modeling is dynamic part of system development process before realization. The cost and risky situ…