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
Year
2015Published in
International Journal of System Assurance Engineering and Management
ISSN
0975-6809
View this publication at Norwegian Research Information Repository