"An Augmented Framework for Formal Analysis of Safety Critical Systems"
written by Monika Singh, V. K. Jain,
published by Journal of Software Engineering and Applications, Vol.10 No.8, 2017
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
No relevant information.