By Topic

[Copyright notice]

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.

The following topics are dealt with: software security; software reliability; formal specification; formal verification; machine learning; embedded software; and software testing.

Published in:

Secure Software Integration & Reliability Improvement Companion (SSIRI-C), 2011 5th International Conference on

Date of Conference:

27-29 June 2011