Author:
Arts Thomas,Dorigatti Michele,Tonetta Stefano
Publisher
Springer International Publishing
Reference18 articles.
1. AUTOSAR: Software architecture specification,
www.autosar.org
2. ISO 26262: Road vehicles Functional safety (2011)
3. AUTOSAR. In: Specification of SW-C End-to-End Communication Protection Library. AUTOSAR consortium (2008-2013)
4. Cimatti, A., Dorigatti, M., Tonetta, S.: OCRA: A tool for checking the refinement of temporal contracts. In: ASE, pp. 702–705 (2013)
5. Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: ACM SIGPLAN Workshop on Erlang (2006)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献