Protecting Safety-Critical Systems: a Software Approach

Publication
The 2nd CINI Summer School on High Performance Computing and Emerging Technologies