formal method - Globe Thesis

Font Size: a A A

Keyword [formal method] Result: 181 - 197 \| Page: 10 of 10
181.	Safety Ontology Modeling And Verification On Mis Of Ship-Building&Repairing
182.	Research On Formal Description Technology Of Web Service Composition Based On Algebraic Specification
183.	Design and Analysis of Mobile Operating System Security Architecture using Formal Method
184.	A formal method to analyze framework-based software systems
185.	Formal method integration via heterogeneous notations
186.	Verification Technology Of Equivalence Between Model And Verilog Code Based On Formal Method
187.	Equivalence Verification Of Integer Multipliers Based On Gr?bner Basis Method
188.	Formal Analysis And Verificaiton Of Blockchain Currency Mixing Mechanism Protocol Witn Model Checking
189.	Application And Research Of Security Protocol Formal Analysis Technology
190.	Formal Analysis Of PUF-related Protocols Based On LoET-E
191.	Research On Security Vulnerability Detection Scheme Based On UEFI Firmware
192.	Formal Analysis Of Non-blocking Algorithm Based On Memory Reclamation Schemes
193.	Formal Verification And Design Development Of Embedded Operating System Kernel Services
194.	Formalization Of Finite Field GF(2^n) Based On Coq And It's Application
195.	Consistency Checking And Automatic Code Generation In Incremental Software Development
196.	Refinement And Implementation Of The Immune System Using Formal B Method
197.	Towards Task-based Approach For Modeling And Verifying Uncertain Behavior Of Real-time Systems
<<First <Prev Next> Last>> Jump to