Dual-model approach for safety-critical embedded systems

Grzegorz Labiak, Marek Wegrzyn, Alfredo Rosado Muñoz, Grzegorz Bazydlo. Dual-model approach for safety-critical embedded systems. Microprocessors and Microsystems, 72, 2020. [doi]

Abstract

Abstract is missing.