机译:定时pNets:分布式系统的通信行为语义模型
MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China ,INRIA Sophia Antipolis Mediterannee, Sophia Antipolis 06902, France,University of Nice Sophia Antipolis, CNRS, Sophia Antipolis 06900, France;
MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
INRIA Sophia Antipolis Mediterannee, Sophia Antipolis 06902, France,University of Nice Sophia Antipolis, CNRS, Sophia Antipolis 06900, France;
ITS; logical time; formal method; timed specification; synchronous and asynchronous communication;
机译:对用于行为数据建模的现成分布式语义表示形式的比较评估
机译:用于物联网的Lite分布式语义通信系统
机译:义务网:一种用于建模信息系统行为语义的严格的面向对象技术
机译:在一个单一的仿真模型中对分布式系统进行建模:一种研究分布式系统内通信的方法
机译:建模和评估分布式无线通信系统。
机译:青蛙合唱作为自主分布式通信系统的数学建模与应用
机译:定时pNets:分布式系统的通信行为语义模型(扩展版本)
机译:分布式实时多媒体系统的实时推挽通信模型