Search alternatives:
application specific » application service, application security
developing trust » developing east, develop trust, developing cross
trust program » rust programs, test program, forest program
1
2
3
4
5
by Lysne, Olav.
Published 2018
Format:
Table of Contents: ... Formal Methods -- 9.1 Overview -- 9.2 Specification -- 9.3 Programming Languages -- 9.4 Hybrid...
Click to View
6
7
8
9
10
11
12
by Domingue, John.
Published 2011
Format:
Table of Contents: ...: Future Internet Foundations: Security and Trust -- Introduction to Part III -- Security Design...
Click to View
13
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...
Click to View