1
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Conclusion -- References -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java...
Click to View
2
by Galis, Alex.
Published 2013
Format:
Table of Contents: ...Intro -- Preface -- Table of Contents -- Software Driven Networks, Virtualisation, Programmability...
Click to View
3
by Domingue, John.
Published 2011
Format:
Table of Contents: ... -- References -- Towards In-Network Clouds in Future Internet -- Introduction -- Designs for In-Network Clouds...
Click to View