Font Size:
a
A
A
Keyword [Formal Model]
Result: 21 - 40 | Page: 2 of 3
21.
Study On The Formal Model Of Metaphor
22.
Multi-agent Scheduling Optimization Algorithm
23.
Formal Model Depiction And Algebraic Property Study For Security Protocol
24.
Agent-based Dynamic Logic Formal Model
25.
Based On A Formal Model Of The Logic Vsk-af Multi-agent Systems
26.
Consultation Axiom System Based On Ability And Thinking Multi-agent Systems Model
27.
Study On Formal Model Of Digital Right Expression Language And Its Application
28.
Research On Formalized Modeling And Simulation For Workflow Systems
29.
Front-end Design And Implementation Of Equivalence Checking System Of Verilog HDL
30.
Pi-calulus Based Formal Description Model For Web Services
31.
Research On ZIA Formal Model And It’s Automatic Validation Method For Hybrid Systems
32.
Modeling And Verifying Of CPS Component Service Composition Based On Hybrid Automata
33.
A Study Of QoS-Aware Cloud Services' Dependability Enhancement Mechanism
34.
Research On Formal Model Of Knowledge Representation Of The National Cultural Resources Based On Temporal Dynamic Description Logic
35.
The Research And Application Of Agile Software Development Process Based On Formal Methods
36.
Trusted Modeling And Verification Method Of Time Property Software For Cyber Physical System
37.
On The Simulation Of Petri Net System With Boundedness By Pi Calculus
38.
Research On System Safety Analysis And Verification Based On Formal Model
39.
Formal model and analysis of usage control
40.
A formal model for analysis and control of human-involved computer integrated manufacturing systems
<<First
<Prev
Next>
Last>>
Jump to
