A Technique to Generate Information of Safe Interleavings for On-the-fly Atomicity Violation Repairing in Airborne Software (항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법)
-
- Proceedings of the Korean Society of Computer Information Conference
- /
- 2019.01a
- /
- pp.11-12
- /
- 2019