Formal design of safety-critical systems with MARS

Journal of Systems Architecture 2026

View at publisher

Authors: Yihao Yin, Hao Wu, Wan Liu, Shuling Wang, Xiong Xu, Wang Lin, Fanjiang Xu, Naijun Zhan

DOI: 10.1016/j.sysarc.2026.103711

Cited by: 0

References: 20

Fields of Study & Subjects

Formal Methods in Verification Embedded Systems Design Techniques Model-Driven Software Engineering Techniques

References 20