Formal Methods - Globe Thesis

Keyword [Formal Methods] Result: 81 - 100 \| Page: 5 of 8
81.	Research On The Theoretical Model And Implementation Mechanism Of Trust Chain In Terminal
82.	Formal Methods On Wireless Networks
83.	Research On ZIA Formal Model And It’s Automatic Validation Method For Hybrid Systems
84.	Research Of Software Development Knowledge Service System Based On Semantic Web
85.	The Security Verification Technology For Software Code Based On The Formal Methods
86.	Bi-directional Consistency Checking Based On Temporal Logic
87.	FPGA-Based Acceleration Technology Of Integrated Circuit’s Formal Verification
88.	Reliability Research Of Booth Multiplier Based On Formal Methods
89.	The Implement Of New Generic Mechanism In Theapia—Java Algorithm Program Generation System
90.	Formal Analysis And Verification Of Web Service Compositions With Timing Constraints
91.	Research On PLC Program Design And Formal Mathod Of 125I Automated Production Line
92.	Research On Formal Methods For Modeling And Analyzing FPGA Programs
93.	An Event-Based Formal Framework For Dynamic Software Update
94.	The Study Of The Ability Of The WSN Security Protocol Against Off-line Dictionary Attacks
95.	Formal Analysis And Verification Of OAuth 2.0 Protocol Improved By Key Cryptosystems
96.	Research On Safety Verification Of Cyber-Physical Systems
97.	Research Of Fault Localization Based On Formal Methods
98.	Research On Key Issues In High Assurance System Software Of Embedded Systems
99.	Research On Formal Verification Methods For Hybrid Systems Based On Combined Formal Specification
100.	A Formalization Framework Base On UML And Its Applications On The Verification Of Security Protocols
<<First <Prev Next> Last>> Jump to