Quellverzeichnis products/Sources/formale Sprachen/C/Android/trusty/trusty/user/desktop/lib/

boot_params     desktop_trusty_build_params     external_super_block_mac     gsc_svc_client     keymint_access_policy     keymint_legacy_client     keymint_ta     secretkeeper_secure_store     secretkeeper_ta     tpm_commands

Wurzel Suchen PVS Prover Isabelle Prover NIST Cobol Testsuite Cephes Mathematical Library Vienna Development Method Haftungshinweis Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert. Bemerkung: Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.