Publication:Bae 2026 JSS MVR airborne software

From Innovation
Revision as of 07:57, 30 April 2026 by James (talk | contribs) (Bulk upload from BibTeX (bib2smw.py))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Changhui Bae Euteum Choi Ok-Kyoon Ha Yong-Kee Jun Seongjin Lee On-the-fly repair of multi-variable atomicity violations in airborne software 2026 Journal of Systems and Software 10.1016/j.jss.2026.112889 https://www.sciencedirect.com/science/article/pii/S0164121226001226 239 112889 Bae_2026_JSS_MVR_airborne_software Journal Airborne software Airborne health management Concurrency faults Multi-variable atomicity violations On-the-fly repairing