Font Size:
a
A
A
Keyword [obligation]
Result: 1 - 15 | Page: 1 of 1
1.
Formal Verification Technology For Object-Oriented Software
2.
A Study Of Software Formal Requirements Based On Event-B
3.
On The Rights And Norms Of The News Media In China
4.
Researches On Some Fundamental Problems Of Linear Temporal Logic
5.
Research On Change Region Of Petri Net Model Based On Action Pattern
6.
Research On Obligation Mechanism Based On P-RBAC Model
7.
The Design And Implementation Of Linear Temporal Logic Satisfiability Tool
8.
Research On Social Media Users’ Post Adoptive Switching Behaviors
9.
Extended Usage Control Models And Testing For Access Control Policies
10.
The Conflict And Coordination Between Hidden Sources And Testify Obligation Of The Litigation-related News Media
11.
Research On Hierarchical System Based Access Control Model
12.
Hybrid Event-B:Modeling And Refinement Of Cyber-Physical Systems
13.
The Research Of The Structure Of The User's Right And Meaning Under The New Communication Pattern
14.
Research On The Allocation Of Users' Obligation Norms Of America State Libraries
15.
Research On Data Obligation Of Network Communication In The Era Of Big Data
<<First
<Prev Next>
Last>>
Jump to
