Author:
Bhatt Devesh,Ren Hao,Murugesan Anitha,Biatek Jason,Varadarajan Srivatsan,Shankar Natarajan
Publisher
Springer International Publishing
Reference22 articles.
1. ArduPilot. https://ardupilot.org/ (2020)
2. Badger, J., Throop, D., Claunch, C.: Vared: verification and analysis of requirements and early designs. In: 2014 IEEE 22nd International Requirements Engineering Conference (RE), pp. 325–326 (2014). https://doi.org/10.1109/RE.2014.6912279
3. Lecture Notes in Computer Science;D Bhatt,2016
4. Bhatt, D., et al.: Constrained Language Enhanced Approach to Requirements (CLEAR) Requirements-Driven Model Checking and Test Generation 19 User Guide. Technical report, Honeywell International, ARCOS Program Tech Report, August 2021
5. Bhatt, D., Madl, G., Oglesby, D.: System architecture driven software design analysis methodology and toolset. Technical report, SAE Technical Paper (2012)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献