Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger. Towards CPS Verification Engineering. In Maria Indrawan-Santiago, Eric Pardede, Ivan Luiz Salvadori, Matthias Steinbauer, Ismail Khalil, Gabriele Kotsis, editors, iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30 - December 2, 2020. pages 367-371, ACM, 2020. [doi]
Abstract is missing.