Certus: an organizational effort towards research-based innovation in software verification and validation

Category

Academic article

Language

English

Author(s)

Sagar Sen
Dusica Marijan
Arnaud Gotlieb

Affiliation

SINTEF Digital / Sustainable Communication Technologies
Unknown

Year

2015

Published in

International Journal of Systems Assurance Engineering and Management

ISSN

0975-6809

Publisher

Springer

DOI

https://doi.org/10.1007/s13198-015-0352-8

View this publication at Cristin