Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Reference39 articles.
1. Abts, C. (2002). Cots-based systems (cbs) functional density—A heuristic for better cbs design. In Proceedings of the First international conference on COTS-based software systems. ICCBSS ׳02 (pp. 1–9). London, UK: Springer-Verlag.
2. Addy, E. A., & Sitaraman, M. (1999). Formal specification of cots-based software: A case study. In Proceedings of the 1999 symposium on software reusability. SSR ׳99 (pp. 83–91). New York, NY, USA: ACM.
3. Altisen, K., Clodic, A., Maraninchi, F., & Rutten, E. (2003). Using controller-synthesis techniques to build property-enforcing layers. In Proceedings of the 12th European conference on programming. ESOP׳03 (pp. 174–188). Warsaw, Poland: Springer-Verlag (ACM ID: 1765727).
4. Bacchini, F., Moretti, G., Foster, H., Bergeron, J., Nakamura, M., Mehta, S., et al. (2005). Is methodology the highway out of verification hell? In Proceedings of the 42nd design automation conference (pp. 521–522). Annaheim, CA: IEEE.
5. Borrione, D., Morin-Allory, K., & Oddos, Y. (2012). Property-based dynamic verification and test. In Design technology for heterogeneous embedded systems. Netherlands: Springer.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献