Author:
Burmester Sven,Giese Holger,Oberschelp Oliver
Publisher
Kluwer Academic Publishers
Reference30 articles.
1. (2003). U L 2.0 Superstructure Specification. Object Management Group. Document ptc/03–08-02.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(3–34).
3. Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., and Sokolsky, O. (2001). Hierarchical Hybrid Modeling of Embedded Systems. In irst Workshop on mbedded Software.
4. Bender, K., Broy, M., Peter, I., Pretschner, A., and Stauner, T. (2002). Model based development of hybrid systems. In odelling, nalysis, and Design of Hybrid Systems, volume 279 of Lecture Notes on Control and Information Sciences, pages 37–52. Springer Verlag.
5. Conrad, M., Weber, M., and Mueller, O. (1998). Towards a methodology for the design of hybrid systems in automotive electronics. In Proc. of the International Symposium on utomotive Technology and utomation (IS T ’98).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献