On Linear-Time Properties Evaluation Based on Structure Theory and True Concurrency of Petri Net Formalism

时间：2022-07-13作者：点击数：

报告人 Kamel Barkaoui 时间 2022年7月17日 15:00-16:00
报告地点 腾讯会议408-216-546


上一篇：离散事件动态系统国际研讨会

下一篇：《软体机器人》系列报告三：规划与控制

Copyright©BV伟德(中国区)官方网站-OfficialWebsite 版权所有 ALL Rights Reserved   技术支持：西安聚力