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...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: He, Jifeng (Editor)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Vydání:1st ed. 2024.
Edice:Reports of China’s Basic Research,
Témata:
On-line přístup:https://doi.org/10.1007/978-981-99-5589-3
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • Chapter 1. Project Overview
  • Chapter 2. The Situation of Research at Home and Abroad
  • Chapter 3. Major Results of the Research
  • Chapter 4 Outlook.