The Fundamental Research for Trustworthy Software

This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues: (i) measurement and modeling of software trustworthiness; (ii) construction and verifica...

詳細記述

書誌詳細

団体著者:	SpringerLink (Online service)
その他の著者:	He, Jifeng (編集者)
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
版:	1st ed. 2024.
シリーズ:	Reports of China’s Basic Research,
主題:	Software engineering. Operating systems (Computers). Software Engineering. Operating Systems.
オンライン･アクセス:	https://doi.org/10.1007/978-981-99-5589-3
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!