Author:
Legay Axel,Sedwards Sean,Traonouez Louis-Marie
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. Electron. Notes Theor. Comput. Sci. 109, 43–56 (2004)
2. Arnold, A., Boyer, B., Legay, A.: Contracts and behavioral patterns for sos: the EU IP DANSE approach. In: Proceedings of AiSoS. EPTCS, vol. 133, pp. 47–66 (2013)
3. Basseville, M., Nikiforov, I.V.: Detection of Abrupt Changes: Theory and Application. Prentice-Hall, Inc., Upper Saddle River (1993)
4. Biere, A., Heljanko, K., Junttila, T.A., Latvala, T., Schuppan, V.: Linear encodings of bounded LTL model checking. Logical Methods Comput. Sci. 2(5) (2006). doi: 10.2168/LMCS-2(5:5)2006
5. Lecture Notes in Computer Science;B Boyer,2013
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献