Author:
Cârlan Carmen,Gallina Barbara,Kacianka Severin,Breu Ruth
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;A Ayoub,2012
2. Bennion, M., Habli, I.: A Candid industrial evaluation of formal software verification using model checking. In: Companion Proceedings of the 36th International Conference on Software Engineering, pp. 175–184. ACM, New York (2014)
3. Bloomfield, R.E., Bishop, P.G.: Safety and assurance cases: past, present and possible future - an Adelard perspective. In: Dale, C., Anderson, T. (eds.) Making Systems Safer, pp. 51–67. Springer, London (2010). doi: 10.1007/978-1-84996-086-1_4
4. Bourdil, P.A., Dal Zilio, S., Jenn, E.: Integrating model checking in an industrial verification process: a structuring approach. Working Paper or Preprint (2016). https://hal.archives-ouvertes.fr/hal-01341701
5. Cârlan, C., Beyene, T.A., Ruess, H.: Integrated formal methods for constructing assurance cases. In: Proceedings of International Symposium on Software Reliability Engineering Workshops, pp. 221–228. IEEE (2016)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献