Author:
Ramezani Zahra,Eddeland Johan Lidén,Claessen Koen,Fabian Martin,Åkesson Knut
Subject
Control and Systems Engineering
Reference17 articles.
1. A survey on testing for cyber physical system;Abbaspour Asadollah,2015
2. S-TaLiRo: A tool for temporal logic falsification for hybrid systems;Annpureddy,2011
3. Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications;Bartocci;Lectures on Runtime Verification, volume 10457 of Lecture Notes in Computer Science,2018
4. Using valued booleans to find simpler counterexamples in random testing of cyber-physical systems;Claessen;IFAC-PapersOnLine,2018
5. Dang, T., Donzé, A., and Maler, O. (2004). Verification of analog and mixed-signal circuits using hybrid system techniques. In International Conference on Formal Methods in Computer-Aided Design, 21–36. Springer.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献