Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
forum
Submitted by Anonymous on Mon, 10/20/2014 - 3:17pm
SAFECOMP 2015 "Assured connectivity"
The 34th International Conference on Computer Safety, Reliability and Security
22-25 September 2015, Delft, the Netherlands
http://safecomp2015.tudelft.nl/
biblio
Submitted by Pfeffer Juergen on Wed, 09/17/2014 - 5:32pm
event
Submitted by Anonymous on Fri, 07/11/2014 - 11:43am
The 4th International IEEE Workshop on Software Certification (WoSoCer 2014)
http://cecris-project.eu/wosocer2014
3-6 November 2014, Naples, Italy
The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014.
We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.
forum
Submitted by Anonymous on Fri, 07/11/2014 - 11:38am
The 4th International IEEE Workshop on Software Certification (WoSoCer 2014)
http://cecris-project.eu/wosocer2014
3-6 November 2014, Naples, Italy
The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014.
We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.
forum
Submitted by Anonymous on Tue, 06/24/2014 - 2:55pm
event
Submitted by Anonymous on Tue, 06/24/2014 - 2:54pm
event
Submitted by Anonymous on Tue, 04/29/2014 - 3:43pm
Software Certification Consortium Meeting 2014
Co-located with High Confidence Software and Systems (HCSS) Conference
The SCC is organized to pursue the following objectives: