Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch. Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018. pages 390-391, IEEE, 2018. [doi]
Abstract is missing.