Login / Signup
Modeling and Formal Verification of IMPP.
Sohel Khan
Abdul Waheed
Published in:
Int. Arab J. Inf. Technol. (2005)
Keyphrases
</>
formal verification
model checking
automated verification
neural network
model checker
rough sets