Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems

Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio. Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems. IEEE Trans. Industrial Informatics, 5(2):181-194, 2010. [doi]

Abstract

Abstract is missing.