×

找到7个文档（结果1-7）

最新的 引文 关联
罗莎·阿巴斯;乔纳斯·希夫尔;伊娃·达鲁洛娃;马蒂亚斯·乌尔布里奇;沃尔夫冈·阿伦特

KeY中浮点Java程序的演绎验证。 （英语） Zbl 1474.68186号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 242-261 (2021).
MSC公司：60年第68季度 65克50 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{R.Abbasi}等人，Lect。注释计算。科学。12652、242--261（2021；Zbl 1474.68186）
全文： DOI程序 arXiv公司
OA许可证
帕特里克·特伦丁;罗伯托·塞巴斯蒂亚尼

浮点数理论的优化模块。 （英语） Zbl 07178998号

Fontaine，Pascal（编辑），《自动推导——CADE 27》。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 550-567 (2019).
MSC公司：68T20型 65K10码
PDF格式BibTeX公司 XML格式引用
\textit{P.Trentin}和\textit{R.Sebastiani}，莱克特。注释计算。科学。11716、550-567（2019；Zbl 07178998）
全文： DOI程序 arXiv公司
阿列克谢·索洛维耶夫;查尔斯·雅各布森;茨沃尼米尔·拉卡马里奇;加内什·戈帕拉克里什南

用符号泰勒展开严格估计浮点舍入误差。 （英语） Zbl 1427.65064号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 532-550 (2015).
MSC公司：65克50 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.Solovyev}等人，Lect。注释计算。科学。9109532-550（2015年；兹比尔1427.65064）
全文： DOI程序
蒂莫西·布鲁克;马克·普泽特

Zélus：与ODE同步的语言。 （英语） Zbl 1361.68026号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。113-118（2013年）。
MSC公司：68甲15 34A38型 65C20个 65年第68季度 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Bourke}和\textit{M.Pouzet}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。113-118（2013；Zbl 1361.68026）
全文： DOI程序
里卡多·桑费利斯;大卫·科普;尼亚涅兹，巴勃罗

Matlab/Simulink中混合系统仿真的工具箱。混合方程（HyEQ）工具箱。 （英语） Zbl 1364.93383号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。101-106 (2013).
MSC公司：93立方 65岁15岁 68岁20岁
PDF格式BibTeX公司 XML格式引用
\textit{R.Sanfelice}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。101-106（2013；Zbl 1364.93383）
全文： DOI程序
安德烈亚斯·艾格斯;马丁·范策尔;克里斯蒂安·赫尔德

SAT模ODE：混合系统的直接SAT方法。 （英语） Zbl 1183.68369号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。《计算机科学讲义》531171-185（2008）。
MSC公司：60年第68季度 65G30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Eggers}等人，Lect。注释计算。科学。5311、171--185（2008年；Zbl 1183.68369）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件