formal methods - Globe Thesis

Keyword [formal methods] Result: 101 - 120 \| Page: 6 of 8
101.	Research On Formal Method For The Online Exam Software Requirement Specification Based On B Method
102.	Formal Analysis And Research On Mutual Authentication Protocol For Cloud User
103.	Formal Research Of Crossover Operators Based On Higher-order Logic
104.	The Research And Application Of Agile Software Development Process Based On Formal Methods
105.	Vulnerability Analysis Of OpenSSL Based On Code Audit And Fuzz Technology
106.	Formal Modeling And Verification On Web Applications Based On Extended UML 2.3
107.	Rewriting-Based Modeling And Verification Of Embedded Systems
108.	Research On Formal Verification Method Of Embedded Operating System
109.	Research On Formal Methods Of Fuzzy System Verification
110.	Research On Software Requirement Verification Based On Model
111.	Research On Parallel Query And Checking Algorithm Of Formal Methods Checking Based On Cloud Computing Platform
112.	Formalization And Verification Of OpenFlow Bundle Mechanism Based On CSP
113.	Research On UML Class Diagram Formalization And Python Code Generation Based On Object-Z
114.	The Research On Dynamic Evolution Methods Of SaaS Software Based On Cloud Monitor Mechanism
115.	Formal Research Based On RT-middleware Data Transfer Protocol
116.	Formalization And Verification Of Redis Cluster Message Communication Mechanism Based On CSP
117.	Research On Security Of 5G Network Authentication Protocol And Non-Access Stratum Protocol
118.	Research On Resource Management Approach For Heterogeneous Multi-core Processor Systems
119.	Hierarchical Structure And Response Time Analysis For Supply Chain Concurrent Systems
120.	Polytypic proving
<<First <Prev Next> Last>> Jump to