Author:
Soumia Elbouanani,Ismail Assayad,Mohammed Sadik
Publisher
Springer International Publishing
Reference25 articles.
1. Chen, X., Watanabe, Y.: Formal verification for embedded system designs. Des. Autom. Embed. Syst. 8, 139–153 (2003)
2. Grotker, T., Lio, S., Martin, G., Swan, S.: System Design with SystemC $$^{\rm TM}$$ . Kluwer Academic Publishers, Hingham (2002)
3. Maillet-Contoz, L., Ghenassia, F.: Transaction level modeling. In: Ghenassia, F. (ed.) Transaction Level Modeling with SystemC. Springer, Boston (2005). https://doi.org/10.1007/0-387-26233-4_2
4. McMillan, K.L.: Symbolic Model Checking. Carnegie Mellon University, Pittsburgh (1993)
5. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal 4.0. (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献