Keyword [formal analysis] Result: 181 - 200 | Page: 10 of 10 181.  Formal analysis and verification of an OFDM modem design 182.  Formal Analysis of DNS Attacks and Their Countermeasures Using Probabilistic Model Checking 183.  Formal object oriented design and analysis 184.  Formal Analysis of Automated Model Abstractions under Uncertainty: Applications in Systems Biology 185.  On the computational soundness of formal analysis of cryptographic protocols 186.  Formal Analysis of Network Protocol Security 187.  A formal analysis of exchange of digital signatures 188.  Formal analysis of routing protocols 189.  Information extraction for run-time formal analysis 190.  Formal analysis of early requirements specifications 191.  Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking 192.  Realization and Formal Analysis of Asynchronous Pulse Communication Circuit 193.  Formal modeling and analysis techniques for high level Petri nets 194.  Using Formal Analysis and Search-Based Techniques to Address the Assurance of Cyber-Physical Systems at the Requirements Leve 195.  Studies On Security Analysis Of Cryptographic Protocols 196.  Study On Key Technologies Of Formal Analysis Method Of Security Protocols 197.  Formal Analysis Of Security Protocols Based On Model Checking 198.  Formal Analysis And Verification Of Blockchain Consensus Protocol Based On Model Checking 199.  Formal Analysis Of Mobile Payment Protocols Based On Logic Of Events 200.  Formal Analysis And Verificaiton Of Blockchain Currency Mixing Mechanism Protocol Witn Model Checking   <<First  <Prev  Next>  Last>>  Jump to

Globe Thesis Copyright © 2023. All Rights Reserved. | Privacy | Copyright | Contribute | About | Contact | RSS