Damouche，北卡罗来纳州。;马特尔，M。;Chapoutot，A。 数字精度PID控制器的转换。 （英语） Zbl 1352.65665号 Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317、47-54（2015）。MSC公司：6504年 65克50 第93页第52页 PDF格式BibTeX公司 XML格式引用 \textit{N.Damouche}等人，《电子》。理论注释。计算。科学。317、47-54（2015年；Zbl 1352.65665） 全文： 内政部
纳斯林·达穆切;马蒂厄·马特尔;亚历山大·查普托 精度优化对数值迭代方法收敛性的影响。 （英语） Zbl 1474.65479号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 143-160 (2015).MSC公司：65季度30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Damouche}等人，Lect。注释计算。科学。9527、143-160（2015年；Zbl 1474.65479） 全文： 内政部