Author:
Zhan Naijun,Wang Shuling,Zhao Hengjun
Publisher
Springer International Publishing
Reference24 articles.
1. Agrawal, A., Simon, G., Karsai, G.: Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations. In: International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 109, pp. 43–56 (2004)
2. Bergstra, J., Ponse, A., Smolka, S.: The Handbook of Process Algebra. Elsevier, Amsterdam (2001)
3. Bliudze, S., Sifakis, J.: The algebra of connectors—structuring interaction in BIP. IEEE Trans. Comput. 57 (10), 1315–1330 (2008)
4. Boström, P.: Contract-based verification of Simulink models. In: ICFEM 2011. Lecture Notes in Computer Science, vol. 6991, pp. 291–306. Springer, New York (2011)
5. Cavalcanti, A., Clayton, P., O’Halloran, C.: Control law diagrams in Circus. In: FM 2005. Lecture Notes in Computer Science, vol. 3582, pp. 253–268 (2005)