Nikos Petrellis, Michail Mavropoulos, Vasilios I. Kelefouras, Georgios Keramidas, K. Radonjic, Nikolaos S. Voros. A Hypervisor Based Platform for the Development and Verification of Reliable Software Applications. In Luigi Carro, Francesco Regazzoni 0001, Christian Pilato, editors, Embedded Computer Systems: Architectures, Modeling, and Simulation - 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II. Volume 15227 of Lecture Notes in Computer Science, pages 261-276, Springer, 2024. [doi]
Abstract is missing.