مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3076611

Title :

[Copyright notice]

fYear :

2011

fDate :

27-29 June 2011

Abstract :

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

Keywords :

formal specification; formal verification; learning (artificial intelligence); program testing; security of data; software reliability; embedded software; formal specification; formal verification; machine learning; software reliability; software security; software testing;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

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

Conference_Location :

Jeju Island

Print_ISBN :

978-1-4577-0781-0

Type :

conf

DOI :

10.1109/SSIRI-C.2011.3

Filename :

6004483

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3076611