000 02390nam a22003735i 4500
001 397746
003 ES-MaUEC
005 20240104162611.0
006 a||||fo|||| 00| 0
007 cr nn 008mamaa
008 231123s2024 si | s |||| 0|eng d
020 _a9789819955893
024 7 _a10.1007/978-981-99-5589-3
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
050 0 4 _aQA76.758
_b2024
245 0 0 _aThe Fundamental Research for Trustworthy Software
_cedited by Jifeng He
250 _afirst edition 2024
264 1 _aSingapore
_c2024
_bSpringer International Publishing
300 _a1 recurso en línea
336 _atexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
347 _atext file
_bPDF
490 0 _aReports of China's Basic Research
_x2731-8915
505 0 _aChapter 1. Project Overview -- Chapter 2. The Situation of Research at Home and Abroad -- Chapter 3. Major Results of the Research -- Chapter 4 Outlook.
520 _aThis 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 verification of trustworthy software; (iii) evolution and control of trustworthy software; (iv) trusted environment construction and evaluation. This book aims to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. This book is intended for researchers who have been following the evolution of and trends in the trustworthy software; the book is also a valuable reference resource for practitioners and scholars at various levels and in various fields.
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-99-5589-3
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _2lcc
_cLE
988 _aSpringer_Computer_2024
999 _c397746
_d397746