<--- Back to Details
First PageDocument Content
Formal verification / Computer science / Formal specification / Software development process / Validation / Formal methods / Applied mathematics / Science
Date: 2011-10-31 12:04:31
Formal verification
Computer science
Formal specification
Software development process
Validation
Formal methods
Applied mathematics
Science

Microsoft PowerPoint - 7thICCC TL-LETI propal4.ppt

Add to Reading List

Source URL: www.commoncriteriaportal.org

Download Document from Source Website

File Size: 917,86 KB

Share Document on Facebook

Similar Documents