Current position: Home >> Scientific Research >> Paper Publications
Tang Zhengyi

Personal Information

Associate professor  
Supervisor of Master's Candidates  

Paper Publications

实时互斥协议的形式化建模与自动验证

Hits:

Affiliation of Author(s):计算机科学与数学学院

Journal:福建工程学院学报

Funded by:其他课题

Note:2016年5月20日扬审核通过

Indexed by:Journal paper

Document Code:8123

Volume:14

Issue:1

ISSN No.:1672-4348

Translation or Not:no

CN No.:35-1267/Z

Date of Publication:2016-01-01

Pre One:行为时序逻辑中四级公平性下的活性推理规则

Next One:一种基于命名实体识别的需求跟踪方法