  |
Items where Author is "Farkas, Rebeka"
Group by: Item Type | No Grouping Number of items: 4. ArticleSemeráth, Oszkár and Farkas, Rebeka and Bergmann, Gabor and Varro, Daniel (2019) Diversity of graph models and graph generators in mutation testing. International Journal on Software Tools for Technology Transfer, 22 (1). pp. 57-78. ISSN 1433-2779 Book SectionFarkas, Rebeka and Bergmann, Gábor (2018) Towards Reliable Benchmarks of Timed Automata. In: Proceedings of the 25th PhD Mini-Symposium. BME MIT, Budapest, pp. 20-23. ISBN 978-963-313-285-2 Farkas, Rebeka and Hajdu, Ákos (2017) Activity-Based Abstraction Refinement for Timed Systems. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 18-21. ISBN 978-963-313-243-2 Conference or Workshop ItemFarkas, Rebeka and Bergmann, Gábor and Horváth, Ákos (2019) Adaptive Step Size Control for Hybrid CT Simulation without Rollback. In: 13th International Modelica Conference (MODELICA 2019), March 4–6, 2019, Regensburg, Germany. |
