Author:
Reineke Jan,Stergiou Christos,Tripakis Stavros
Funder
National Science Foundation
Deutsche Forschungsgemeinschaft
iCyPhy (Industrial Cyber-Physical Systems) Research Center
Academy of Finland
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference50 articles.
1. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
2. Amaral, V., Hardebolle, C., Karsai, G., Lengyel, L., Levendovszky, T.: Recent advances in multi-paradigm modeling. In: MODELS, pp. 220–224. Springer, Berlin (2010)
3. Amaral, V., Hardebolle, C., Vangheluwe, H., Lengyel, L., Bunus, P.: Recent advances in multi-paradigm modeling. Electron. Commun. EASST. 50, 10 (2011)
4. Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: FMCO, pp. 200–225. Springer, Berlin (2008)
5. Bhave, A., Krogh, B.H., Garlan, D., Schmerl, B.: View consistency in architectures for cyber-physical systems. In: ICCPS 2011, pp. 151–160 (2011)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献