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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.