斯特凡·雅克西奇;埃齐奥·巴托西;拉杜·格罗苏;阮,Thang;德扬·尼契科维奇 利用编辑距离定量监测STL。 (英语) 兹比尔1394.68230 形式方法系统。设计。 53,编号1,83-112(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人,《形式方法系统》。设计。53,第1号,83-112(2018;Zbl 1394.68230) 全文: 内政部
潘,邓;杨俊兴;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。 移动机器人的避碰功能,具有有限的感知能力和有限的移动障碍物信息。 (英语) Zbl 1370.68287号 形式方法系统。设计。 51,第1号,62-86(2017).MSC公司:68T40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Phan}等人,《形式方法系统》。设计。51,第1号,第62-86号(2017;Zbl 1370.68287) 全文: 内政部
贾斯汀·塞斯特;Dixit,凯坦;黄晓婉;拉杜·格罗苏;克劳斯·哈维隆德;斯科特·斯莫尔卡。;斯科特·斯托勒。;埃雷兹·扎多克 互方面:具有GCC的面向方面仪器。 (英语) Zbl 1284.68153号 形式方法系统。设计。 第3期第41页,第295-320页(2012年).MSC公司:68N20型 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.Seyster}等人,《形式方法系统》。设计。41,编号3,295-320(2012年;兹bl 1284.68153) 全文: 内政部
拉杜·格罗苏;托马斯·斯塔纳 混合系统的模块化和可视化规范:HyCharts简介。 (英语) Zbl 1018.68047号 形式方法系统。设计。 21,第1期,5-38页(2002年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Grosu}和\textit{T.Stauner},《形式方法系统》。设计。21,第1号,第5--38号(2002;Zbl 1018.68047) 全文: 内政部