2026-03-05T11:26:59Z https://hiroshima.repo.nii.ac.jp/oai

oai:hiroshima.repo.nii.ac.jp:02005773 2025-03-05T01:28:51Z 1730444908512:1740023118571

Research on Formal Verification and Program Segment Testing for Software Reliability ソフトウェア信頼性のための形式検証とプログラムセグメントテストに関する研究 饒, 磊 Rao, Lei 饒 Rao 磊 Lei open access eng doctoral thesis https://hiroshima.repo.nii.ac.jp/records/2005773 甲第9633号 博士(情報科学) Doctor of Philosophy in Informatics and Data Science 2024-09-03 広島大学 Hiroshima University https://hiroshima.repo.nii.ac.jp/record/2005773/files/k9633_1.pdf 438.2 KB https://hiroshima.repo.nii.ac.jp/record/2005773/files/k9633_2.pdf 315.1 KB https://hiroshima.repo.nii.ac.jp/record/2005773/files/k9633_3.pdf 2.9 MB