检测到您当前使用浏览器版本过于老旧,会导致无法正常浏览网站;请您使用电脑里的其他浏览器如:360、QQ、搜狗浏览器的极速模式浏览,或者使用谷歌、火狐等浏览器。

通知公告

首页  通知公告

제왕카지노2015年学术报告(九)

日期:2015-11-10

报告题目:利用结构推理来验证petri网络

报告人:卡麦勒·巴尔卡维教授

时间:2015年1111日上午10:30-12:00

地点:石河子大学北区机电主楼二楼会议室

主办单位:제왕카지노

报告人简介:

  卡麦勒·巴尔卡维,男,博士法国巴黎国立工艺学院信息学院计算机科学系大学教授(“大学教授为法国教授最高等级),西安电子科技大学111引智基地特聘学者主要从事并发系统建模形式化验证和性能评价的研究是巴黎大区高校软硬件系统形式化方法研究团队联盟—Mefosyloma团队的创始人之一目前发表超过150篇相关领域国际期刊与会议论文,担任多个国际期刊的副编辑或编委会成员,是多个国际会议/研讨会的大会主席或共同主席,也是包括Automatica 与 IEEE TAC在内的众多国际期刊的定期审稿人

  欢迎各位老师和同学踊跃参加!