Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 时间预算:一种基于组件的实时嵌入式系统开发方法。 (英语) Zbl 1342.68042号 正式Asp。计算。 第3期第26页,第591-621页(2014年).MSC公司:68平方米 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dixit}等人,《形式语法》。计算。26,第3号,591--621(2014;Zbl 1342.68042) 全文: 内政部
Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 关于参数时序逻辑的一些结果。 (英语) Zbl 1260.68201号 Inf.流程。莱特。 111,第20号,994-998(2011).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dixit}等人,《信息处理》。莱特。111,第20号,994--998(2011;Zbl 1260.68201) 全文: 内政部