Modeling and Formal Analysis of the NAOMI... Four-Way Traffic Intersection System in Real-Time Maude
论文:Modeling and Formal Analysis of the NAOMI EDeTCMS-4 Four-Way Traffic Intersection System in Real-Time Maude 原文作者:Peter Csaba Olveczky (Department of Informatics, University of Oslo),Jos´e Meseguer...
原创
2018-12-10 17:22:39 ·
345 阅读 ·
0 评论