Subject
Hardware and Architecture,Information Systems,Software
Reference48 articles.
1. Integration of requirements engineering and test-case generation via OSLC;Aichernig,2014
2. An orchestrated survey of methodologies for automated software test case generation;Anand;J. Syst. Softw.,2013
3. Principles of Model Checking;Baier,2008
4. An interoperable testing environment for ERTMS/ETCS control systems;Barberio,2014
5. The alarp principle in process safety;Baybutt;Process Saf. Progress,2014
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献