E-Kripke结构相关论文
针对需求分析过程中的矛盾信息,将多值逻辑和时序逻辑相结合,建立了多值时序逻辑作为需求建模的工具。通过对多值时序逻辑的语法规......
期刊