Formal method - Globe Thesis

Keyword [Formal method] Result: 161 - 180 \| Page: 9 of 10
161.	Design And Implementation Of Android Application Incremental Testing Methods Using Statechart Diagram
162.	Analysis And Verification Of UML Diagrams Based On Formal Method
163.	Research On Communication Membrane Calculus And Its Applications Research On Communication Membrane Calculus And Its Applications
164.	Research On Key Issues In Security-Enhanced Trusted Execution Environment Of Embedded Systems
165.	Formal Analysis And Verificaiton Of Ultralightweight RFID Mutual Authenticaiton Protocol With Model Checking
166.	Formal Analysis Of Wireless Mesh Network Client Authencation Protocols Based On Event Logic
167.	Design And Development Of Immune System Based On Event-B
168.	Liveness Property Preserving Modeling Method For Safety-critical Systems
169.	Implementation Of A Formal Method For Modeling And Verifying Social Networks
170.	A Unified Operational Semantics-based Approach To Modeling And Verifying Dynamic Software Updating
171.	Formal Analysis And Verification Of Energy Sharing System Based On Hierarchical Combination Abstract
172.	Mapping From Requirements To Software Architecture
173.	Research And Application Of Formal Method In Automatic Code Generation
174.	Research On Immune System Model Based On Event-B Formal Method
175.	Research On Safety Requirement Traceability And Verification Based On SysML
176.	The Verification Technique Of Complex Tasks' Functional Specification In Software Crowdsourcing
177.	Formal Analysis Of Provable Network Security Protocol Basesd On Logic Of Events
178.	Research On Privacy-preserving Identity Authentication Protocol For Big Data
179.	Automatic Verification Of DFS Algorithm Based On Isabelle
180.	Research On Optimization Of Design Pattern Combination Operation
<<First <Prev Next> Last>> Jump to