2024 article

Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS

2024 22ND ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE 2024, pp. 98–102.

By: K. Wilson n, A. Al Arafat n, J. Baugh n , R. Yu n  & Z. Gu  n

topics (OpenAlex): Radiation Effects in Electronics; Embedded Systems Design Techniques; Real-Time Systems Scheduling
Source: Web Of Science
Added: March 10, 2025