@phdthesis{oai:nagoya.repo.nii.ac.jp:02002479,
 author = {周, 正書 and ZHOU, Zhengshu},
 month = {Mar},
 school = {名古屋大学, Nagoya University},
 title = {Modeling, Analysis and Assurance for Non-Functional Requirements regarding Autonomous Driving Systems and Services},
 year = {2022}
}