Author:
Araujo Hugo,Carvalho Gustavo,Mousavi Mohammad Reza,Sampaio Augusto
Publisher
Springer International Publishing
Reference39 articles.
1. Abbas, H., Hoxha, B., Fainekos, G.E., Deshmukh, J.V., Kapinski, J., Ueda, K.: Conformance testing as falsification for cyber-physical systems. In: Proceedings of the ACM/IEEE 5th International Conference on Cyber-Physical Systems (ICCPS 2014), p. 211. IEEE (2014)
2. Abbas, H.Y.: Test-based falsification and conformance testing for cyber-physical systems. Ph.D. thesis, Arizona State University (2015)
3. Lecture Notes in Computer Science;A Adimoolam,2017
4. Aerts, A.: Model-based design and testing of mechatronic systems: an industrial case study. Master’s thesis, Eindhoven University of Technology, Eindhoven, Netherlands (2016)
5. Agrawal, A., Simon, G., Karsai, G.: Semantic translation of simulink/stateflow models to hybrid automata using graph transformations. Electron. Notes Theoret. Comput. Sci. 109, 43–56 (2004)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献