<--- Back to Details
First PageDocument Content
Open Travel Alliance / Symantec / SAP AG / Intel / Siemens / Computer security / Nokia / Software / Software assurance / Technology / Business / Computing
Date: 2014-08-15 15:56:20
Open Travel Alliance
Symantec
SAP AG
Intel
Siemens
Computer security
Nokia
Software
Software assurance
Technology
Business
Computing

Microsoft Word - Intel_Joins_SAFECode_FINAL.docx

Add to Reading List

Source URL: www.safecode.org

Download Document from Source Website

File Size: 108,28 KB

Share Document on Facebook

Similar Documents

Economy of Europe / Business / Energy / Enel / Siemens

Aquis Exchange Monthly Statistics Aug-2017 € 12,290,266,,655,839 Siemens AG

DocID: 1xVtj - View Document

Formal methods / Theoretical computer science / Software engineering / Systems engineering / Software testing / Quality / Software quality / Software verification and validation / Formal verification / Functional verification / Model checking / Verification and validation

On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme

DocID: 1xTu2 - View Document

PDF Document

DocID: 1xr7L - View Document

PDF Document

DocID: 1x0OO - View Document

PDF Document

DocID: 1wiLw - View Document