Related Books

Automatic Verification of Behavioral Specifications in Software Intensive Systems
Language: en
Pages:

Automatic Verification of Behavioral Specifications in Software Intensive Systems

Authors: Andrei Soeanu Caval
Categories:
Type: BOOK - Published: 2007 - Publisher:

GET EBOOK

Towards systematic software security hardening
Language: en
Pages: 129

Towards systematic software security hardening

Authors: Marc-André Laverdière-Papineau
Categories:
Type: BOOK - Published: 2008 - Publisher: Marc-André Laverdière

GET EBOOK

A System-Theoretic Safety Engineering Approach for Software-Intensive Systems
Language: en
Pages: 220

A System-Theoretic Safety Engineering Approach for Software-Intensive Systems

Authors: Asim Ali Ahmed Abdulkhaleq
Categories: Computers
Type: BOOK - Published: 2017-02-23 - Publisher: Cuvillier Verlag

GET EBOOK

Software safety is a crucial aspect during the development of modern safety-critical systems. However, safety is a system level property, and therefore, must be
Verification and Validation of Modern Software-intensive Systems
Language: en
Pages: 520

Verification and Validation of Modern Software-intensive Systems

Authors: G. Gordon Schulmeyer
Categories: Computers
Type: BOOK - Published: 2000 - Publisher:

GET EBOOK

PLEASE PROVIDE COURSE INFORMATION PLEASE PROVIDE
Computational Science and Its Applications – ICCSA 2021
Language: en
Pages: 749

Computational Science and Its Applications – ICCSA 2021

Authors: Osvaldo Gervasi
Categories: Computers
Type: BOOK - Published: 2021-09-10 - Publisher: Springer Nature

GET EBOOK

​The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA