Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program certification » program verification, programs verification, produce certification
certification program » verification program, certification process, certification exam
program functionality » protein functionality, programs functional, supra functionality
functionality mission » functionality design, functionality using, functionality maps
mission https » vision https, fiction https, fusion https
program certification » program verification, programs verification, produce certification
certification program » verification program, certification process, certification exam
program functionality » protein functionality, programs functional, supra functionality
functionality mission » functionality design, functionality using, functionality maps
mission https » vision https, fiction https, fusion https
1
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Tracking Based on Behavioral Fingerprints -- Hash Functions -- On the Collision and Preimage Resistance...”View full text
Electronic
eBook