A characterisation of verification tools for software...

  • Main
  • 2017 / 7
  • A characterisation of verification tools for software...
Journal of Reliable Intelligent Environments 2017 / 7

A characterisation of verification tools for software defined networks

Lavado, Leticia, Panizo, Laura, Gallardo, María-del-Mar, Merino, Pedro
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Language:
english
Journal:
Journal of Reliable Intelligent Environments
DOI:
10.1007/s40860-017-0045-y
Date:
July, 2017
File:
PDF, 900 KB
english, 2017
Conversion to is in progress
Conversion to is failed