1
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... -- 1 Introduction -- 2 Related Work -- 3 JavaBIP and Verification Annotations -- 4 Architecture...
Click to View
2
by Domingue, John.
Published 2011
Format:
Table of Contents: ... Services -- Introduction -- Future Internet Services -- The Need for Engineering Secure Software Services...
Click to View
3
by Galis, Alex.
Published 2013
Format:
Table of Contents: ... -- 4.2 Discussion -- 5 An Example Node Architecture -- 6 Development on Top of the Core -- 6.1 Managing...
Click to View