1
2
3
4
5
6
7
8
9
10
11
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... of OS-Based Compositional Software -- Availability of Artifacts -- 1 Introduction -- 2 Background -- 2...
Click to View
12
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ... Timed Automata -- 3 Framework for Learning-Based Compositional Verification of Timed Automata -- 3...
Click to View
13
by Anjum, Rani Lill.
Published 2020
Format:
Table of Contents: ... and the Unique Patient -- 2.1 The Similar and the Unique -- 2.2 Empiricism: Causality Requires Repeated...
Click to View
14
by Gerber, Nina.
Published 2023
Format:
Table of Contents: ... -- References -- Achieving Usable Security and Privacy Through Human-Centered Design -- 1 Introduction -- 2...
Click to View