退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证为通信有限状态机的消息传递异步系统中格式正确的验证
Nalla, Shiva Shankar.;
Iowa State University.;
机译:使用有色Petri网验证使用有限状态自动通信进行通信的电信系统的验证
机译:使用有限状态机建模健壮的异步通信协议
机译:使用TLA +自动验证异步通信系统
机译:异步通信系统的组成验证
机译:通信有限状态机的系统,作为有限状态机的分布式替代方案。
机译:使用有限状态机建模自动分类系统疾病和从电子医疗系统数据的持续时间:前瞻性验证研究
机译:通过不变的验证程序,用于扩展通信有限状态机
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:语音识别系统中基于支持向量机的多模态验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。