1 Questions 2 Answers 0 Followers
Questions related from Rafat Alshorman
I am using NuSMV model checker in my research. But, I need to apply my knowledge in a real system specifications and verifications.
02 February 2014 9,630 0 View
