Embedded Systems and Pervasive Computing Laboratory Federal University of Campina Grande, Brazil;
Department of Software Universitat Politecnica de Catalunya, Spain;
School of Electrical, Electronic and Computer Engineering University of Newcastle upon Tyn;
asynchronous communication mechanisms; petri nets, concurrent systems; synthesis; model checking; protocols;
机译:异步通信机制的自动综合
机译:Medic Bleep的积极影响,异步通信平台与现有通信方法:观察研究
机译:缓冲异步通信机制
机译:一种用于合成异步通信机制的组合方法
机译:视频与讨论板中的文本:在混合美国英语成分课程中探索第二语言本科生中的异步视频通信
机译:异步通信平台Medic Bleep与现有通信方法的积极影响:一项观察性研究
机译:一种用于合成异步通信机制的组合方法
机译:信号型异步数据通信机制的综合及其硬件实现。