formal modeling - Globe Thesis

Keyword [formal modeling] Result: 41 - 60 \| Page: 3 of 5
41.	The Automatic Acquisition Method And Tool For Software Security Requirement Based On Level And Formal Modeling
42.	Research On Formal Modeling And Application Of Service Interaction Patterns
43.	Formal Modeling And Verification Of PKMv3 Protocol Using Maude
44.	The Formal Modeling And Verification Of Resource-Oriented Internet Of Things System
45.	Modeling And Evaluation Of The Virtual Storage System Based On ISCSI
46.	Formalization Of Basic Ant Colony Algorithm
47.	Formal Modeling And Verification On Web Applications Based On Extended UML 2.3
48.	Research Of Formal Method & Model Checking Technology On Service-oriented Robot Control System
49.	Research On Graphical Modeling Approaches Based On Event-B Graph
50.	Formal Modeling And Application Research Of System Based On Model Checking
51.	Formal Modeling,Verification And Analysis For Cyber Physical Systems Software
52.	The Formal Modeling And Optimization For Data Partitioning And Replica Consistency In Distributed Storage Systems
53.	Formal Modeling And Verification Of Named Data Networking
54.	Formal Modeling And Verification Of Ad Hoc Routing Protocols And Task-level Timing Constraints With Event-B
55.	Formalization And Verification Of Embedded Operating Systems Using Rewriting Logic
56.	Formal Modeling And Verification Of Software-defined Networking
57.	Formal Modeling And Dynamic Verification For Human Cyber Physical Systems Under Uncertain Environment
58.	Automatic Security Protocol Verification Technique Based On Reinforcement Learning
59.	Implementation Of A Formal Method For Modeling And Verifying Social Networks
60.	Research On Multi-threading Formal Modeling And Deadlock Detection Based On Extended CSP
<<First <Prev Next> Last>> Jump to