Graduate School of Engineering, Doshisha University 1-3 Miyakotani, Tatara, Kyotanabe, 610-0321 JAPAN;
network; collaboration; formal model; CSCW;
机译:揭示多机构产品开发合作中正式和非正式网络之间的契合与不契合的动力学和后果
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:用于多轴网络中协作的正式安全模型
机译:人类服务非营利组织之间的合作:映射正式和非正式的交流网络。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:人类服务非营利组织之间的合作:映射正式和非正式的交流网络