霍尔逻辑(HL) 相关硕士博士期刊学术论文 - 信丰网

霍尔逻辑(HL)相关论文

基于语言的软件可信性度量理论及其应用

软件是信息基础设施的灵魂.随着软件规模的日趋庞大,软件的可信性越来越引起人们的关注.可信软件基础研究已经成为国内外研究的一......

学位

可信性度量混成进程代数(HCSP) 霍尔逻辑(HL) 概率测度结构化程序设计语言构件匹配业务过程执行语言(BPEL) 进程演算(CCS) Ruby/Tk

看过本文同时还关注