Author:
Al-Shareefi Farah,Lisitsa Alexei,Dixon Clare
Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;A Abdulkhaleq,2015
2. Abdulkhaleq, A., Wagner, S.: XSTAMPP: an extensible STAMP platform as tool support for safety engineering. In: 2015 STAMP Workshop. MIT, Boston. Stuttgart University (2015)
3. Abdulkhaleq, A., Wagner, S.: A systematic and semi-automatic safety-based test case generation approach based on systems-theoretic process analysis. arXiv preprint arXiv:1612.03103 (2016)
4. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
5. Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Formal validation and verification of a medical software critical component. In: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 80–89. IEEE (2015)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献