卡姆莱什·戈什;帕拉布·达斯古普塔;拉梅什,S。 自动化规划作为分布式控制的早期验证工具。 (英文) Zbl 1315.68178号 J.汽车。推理 54,第1期,31-68(2015).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghosh}等人,J.Autom。推理54,No.1,31--68(2015;Zbl 1315.68178) 全文: 内政部
Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 时间预算:一种基于组件的实时嵌入式系统开发方法。 (英文) 兹比尔1342.68042 正式Asp。计算。 26,第3期,591-621(2014).MSC公司:68平方米 68米14 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dixit}等人,《形式语法》。计算。26,第3号,591--621(2014;Zbl 1342.68042) 全文: 内政部