多值时序逻辑相关论文
软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和安全性进行刻画。环境及涉众的......
针对需求分析过程中的矛盾信息,将多值逻辑和时序逻辑相结合,建立了多值时序逻辑作为需求建模的工具。通过对多值时序逻辑的语法规......
期刊
