|
|
计算机科学 2002
基于时态逻辑的虚拟企业活动规划Keywords: 虚拟企业活动规划时态逻辑生产活动生产计划 Abstract: asamethodofcollaborationbetweengeneralorganizations,itisofgreatimportanceforthevirtualorganizationtoplanit''''sactivities.thispaperfirstdescribesthevirtualorganizationactivitiesusingtemporallogical,thenanalysesthesafetyand
|
