Quantitative Verification of Knowledge Precondition for Open System
-
Published:2016-03
Issue:2
Volume:25
Page:227-233
-
ISSN:1022-4653
-
Container-title:Chinese Journal of Electronics
-
language:en
-
Short-container-title:Chin. j. electron.
Author:
Xu Weifeng1,
Liu Shufen1,
Wang Xiaoyan1
Affiliation:
1. College of Computer Science and TechnologyJilin UniversityChangchun130012China
Funder
National Natural Science Foundation of China
Publisher
Institution of Engineering and Technology (IET)
Subject
Applied Mathematics,Electrical and Electronic Engineering