遇见数据集

ModelCheckingAndDES_ChausseXuDingelRudie.pdf

收藏
DataCite Commons2024-04-05 更新2024-07-13 收录
离散事件系统验证
模型检测
数据链接：
http://eceasst.org/index.php/eceasst/article/view/1890/2023数据链接链接失效反馈
官方服务：

资源简介：

Second submission with shorten title

提供机构：
Electronic Communications of the EASST
创建时间：
2015-11-04
关于我们
遇见数据集——让每个数据集都被发现，让每一次遇见都有价值。
数发科官网www.sfktec.com
联系我们
selectdataset@iotsh.com.cn
商业合作
数据驱动未来，携手共赢发展
二维码
社区交流群
二维码
科研交流群
商业服务