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

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