This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully revie...Loe edasi...
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully revie...Loe edasi...
(Ilmumisaeg: 18-Nov-2013, PDF+DRM, Kirjastus: John Wiley & Sons Inc, ISBN-13: 9781118763391)
This book explains why applications running on cloud might not deliver the same service reliability, availability, latency and overall quality to end users as they do when the applications are running on traditional (non-virtualized, non-cloud) confi...Loe edasi...
(Ilmumisaeg: 14-Nov-2013, EPUB+DRM, Kirjastus: John Wiley & Sons Inc, ISBN-13: 9781118763285)
This book explains why applications running on cloud might not deliver the same service reliability, availability, latency and overall quality to end users as they do when the applications are running on traditional (non-virtualized, non-cloud) confi...Loe edasi...
(Ilmumisaeg: 18-Nov-2011, EPUB+DRM, Kirjastus: Taylor & Francis Inc, ISBN-13: 9781040077641)
Secure and Resilient Software: Requirements, Test Cases, and Testing Methods provides a comprehensive set of requirements for secure and resilient software development and operation. It supplies documented test cases for those requirements as well as...Loe edasi...
(Ilmumisaeg: 18-Nov-2011, PDF+DRM, Kirjastus: Taylor & Francis Inc, ISBN-13: 9781439866221)
Secure and Resilient Software: Requirements, Test Cases, and Testing Methods provides a comprehensive set of requirements for secure and resilient software development and operation. It supplies documented test cases for those requirements as well as...Loe edasi...
