Author:
Singh Neeraj Kumar,Lawford Mark,Maibaum Thomas S. E.,Wassyng Alan
Publisher
Springer International Publishing
Reference29 articles.
1. Parnas, D.L.: Tabular representation of relations. Technical report, McMaster University (1992)
2. Singh, N.K.: Using Event-B for Critical Device Software Systems. Springer, New York (2013). doi: 10.1007/978-1-4471-5260-6
3. Lee, I., Pappas, G.J., Cleaveland, R., Hatcliff, J., Krogh, B.H., Lee, P., Rubin, H., Sha, L.: High-confidence medical device software and systems. Computer 39(4), 33–38 (2006)
4. Lecture Notes in Computer Science;A Iliasov,2010
5. Lecture Notes in Computer Science;T Kobayashi,2014
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献