Author:
Yanase Ryo,Sakai Tatsunori,Sakai Makoto,Yamane Satoshi
Publisher
Springer International Publishing
Reference19 articles.
1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138, 3–34 (1995)
2. Lecture Notes in Computer Science;R Alur,1993
3. Amano, H., Adachi, Y., Tsutsumi, S., Ishikawa, K.: A context dependent clock control mechanism for dynamically reconfigurable processors. Technical report of IEICE, vol. 104, no. 589, pp. 13–16 (2005)
4. Attie, P.C., Lynch, N.A.: Dynamic input/output automata, a formal model for dynamic systems. In: Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, PODC 2001, pp. 314–316 (2001)
5. Bagnara, R., Hill, P.M., Zaffanella, E.: The parma polyhedra library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1–2), 3–21 (2008)