formal modeling - Globe Thesis

Keyword [formal modeling] Result: 61 - 80 \| Page: 4 of 5
61.	Research On Key Technologies Of Anomaly Detection Based Network Dynamic Defense
62.	Research On Formal Modeling And Security Verification Method Of Cyber-Physical Systems
63.	Formal Modeling And Performance Analysis Of Spark System
64.	Reserach On The Formal Modeling And Performance Evaluation Of Cyber Physical System Based On Modelica-AADL
65.	Formal Modeling And Verification Of OTN Protection Switching System
66.	Formal Modeling And Verification Of Paxos Based On Coq
67.	Formal Security Evaluation And Improvement Of BACnet Protocol Based On HCPN Model Detection Method
68.	Research On Formal Verification For Ethereum Token Smart Contracts
69.	Research On Formal Modeling Verification Method Of Network Security In Industrial Control Systems
70.	Research On The Mining And Verification Methods Of Cross-border Service Model
71.	Formal Modeling And Verification Of Motion Control Program Based On PLC
72.	Research On Cross-platform HMI Architecture Based On Message Scheduling Middleware
73.	Formal modeling and automated verification of design patterns
74.	Modularity in design: Formal modeling and automated analysis
75.	Formal modeling and dynamic verification of service level agreements in cloud computing
76.	Curated Reasoning by Formal Modeling of Provenance
77.	Hierachical Formal Modeling and Verification of Router Policies with an Applied Case Study to Cisco Router Configuration
78.	Api-calculus for intelligent-agent formal modeling and its application in distributed geospatial data conflation
79.	Formal modeling and test generation automation with Use Case Maps and LOTOS
80.	Formal modeling and automatic interpretation of mechanical engineering drawings
<<First <Prev Next> Last>> Jump to