×

找到26452个文档（结果1-100）

最新 引文 关联
马可·T·莫拉赞。

基于编程的形式语言和自动机理论。设计、实施、验证和证明。 （英语） Zbl 07786059号

计算机科学课文查姆：施普林格（ISBN 978-3-031-43972-8/hbk；978-3-331-43975-9/pbk；978-1-031-43973-5/电子书）。第二十三章，第524页。(2024).
MSC公司：68-01 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.T.Morazán}，基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆：施普林格（2024；Zbl 07786059）
全文： 内政部
安德烈，艾蒂安（编辑）;孙骏（编辑）

用于验证和分析的自动化技术。第21届国际研讨会，2023年10月24日至27日，新加坡，ATVA 2023。诉讼程序。第二部分。 （英语） Zbl 07826003号

计算机科学课堂讲稿14216.查姆：施普林格（ISBN 978-3-031-45331-1/pbk；978-3-331-45332-8/电子书）。xv，330页。(2023).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}（编辑）和\textit{J.Sun}（主编），验证和分析自动化技术。第21届国际研讨会，亚视2023，新加坡，2023年10月24-27日。诉讼程序。第二部分。查姆：施普林格（2023；Zbl 07826003）
全文： 内政部
安德烈，艾蒂安（编辑）;孙骏（编辑）

用于验证和分析的自动化技术。第21届国际研讨会，2023年10月24日至27日，新加坡，ATVA 2023。诉讼程序。第一部分。 （英语） Zbl 07826002号

计算机科学课堂讲稿14215.查姆：施普林格（ISBN 978-3-031-45328-1/pbk；978-3-331-45329-8/电子书）。十六、446页。(2023).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}（编辑）和\textit{J.Sun}（主编），验证和分析自动化技术。第21届国际研讨会，ATVA 2023，新加坡，2023年10月24-27日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 07826002）
全文： 内政部
Alireza马祖翁;丹尼尔·格罗;罗尔夫·德雷克斯勒

结构复杂乘数的形式验证。 （英语） Zbl 07819811号

新加坡：Springer（ISBN 978-3-031-24570-1/hbk；978-3-051-24573-2/pbk；988-3-031-204571-8/电子书）。xiii，130页。(2023).
MSC公司：68-02 2007年7月68日 2006年第68季度 60年第68季度 68瓦30 68瓦35
PDF格式BibTeX公司 XML格式引用
\textit{A.Mahzoon}等人，结构复杂乘数的形式验证。新加坡：施普林格（2023；Zbl 07819811）
全文： 内政部
大卫·A·斯蒂芬斯。;诺布尔，Widemberg S。;艾丽卡·E·M·穆迪。;Alexandra M.施密特。
[P.理查德·哈恩;安德鲁·赫伦;阿瓦洛斯·帕切科，亚历杭德拉;芭蕾舞演员维罗妮卡;马蒂奥·佩多内;彼得·米勒;弗朗西斯科·巴托卢奇;斯特凡诺·佩卢索;安东尼塔·米拉]

误认下的因果推理：基于倾向得分的调整（讨论）。 （英语） Zbl 07810194号

贝叶斯分析。 18，编号2，639-694（2023）.
MSC公司：62至XX
PDF格式BibTeX公司 XML格式引用
\textit｛D.A.Stephens｝等人，贝叶斯分析。18，编号2，639--694（2023；Zbl 07810194）
全文： 内政部 arXiv公司 链接
坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯

演示摘要：在微软飞行模拟器上通过伪造分析CPS安全性。 （英语） Zbl 07807971号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第30号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Khandait}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第30号论文，第2页（2023；Zbl 07807971）
全文： 内政部
阿什瓦尼·阿南德;纳亚克、萨蒂亚·普拉卡什;安妮·凯瑟琳·施穆克

海报摘要：战略调整的许可性。 （英语） Zbl 07807970号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Anand}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2023；Zbl 07807970）
全文： 内政部
鲁帕克·马朱姆达尔;考希克Mallik;马特乌斯·里奇里基;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼

海报摘要：用于加速符号控制的工具链。 （英语） Zbl 07807969号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第28号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。论文编号28，第2页（2023；Zbl 07807969）
全文： 内政部
卢卡斯·内维斯·埃吉迪奥;纳亚克、萨蒂亚·普拉卡什;罗萨、马蒂奥·德拉;安妮·凯瑟琳·施穆克;拉斐尔·荣格斯

海报摘要：迈向混合控制的无缝反应。 （英语） Zbl 07807968号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第27号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.N.Egidio}等人，《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第27号论文，第2页（2023；Zbl 07807968）
全文： 内政部
安德烈亚·佩鲁福;Manuel jun，马祖。

海报：ReLU网络的凸场景优化。 （英语） Zbl 07807967号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第26号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛A.Peruffo｝和\textit｛M.Mazo jun.｝，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第26号论文，第2页（2023；Zbl 07807967）
全文： 内政部
何其恒;罗兰·伊利斯;桑伯格，扎卡里;莫特萨·拉希贾尼安

海报摘要：基于采样的方法，用于不确定复杂系统的鲁棒STL综合。 （英语） Zbl 07807966号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第25号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛Q.H.Ho｝等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第25号论文，第2页（2023；Zbl 07807966）
全文： 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的，安德鲁;乔纳森·迪卡斯特罗;内克米耶Ozay

海报摘要：自动驾驶汽车的安全保障偏好学习方法。 （英语） Zbl 07807965号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第24号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Karagulle}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第24号论文，第2页（2023；Zbl 07807965）
全文： 内政部
拉兹，达芙娜;杨利仁;布赖恩·乌姆伯格;内克米耶Ozay

海报摘要：坐姿到站姿期间人体稳定性的可达性和受控不变性。 （英语） Zbl 07807964号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第23号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{D.Raz}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。论文编号23，第2页（2023；Zbl 07807964）
全文： 内政部
奥利弗·舍恩;Van Huijgevoort，Birgit公司;苏菲·海瑟特;萨代赫·苏贾尼

海报摘要：参数随机系统的数据驱动的正确设计控制。 （英语） 兹伯利07807963

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第22号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{O.Schön}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第22号论文，第2页（2023；Zbl 07807963）
全文： 内政部 链接
达斯，斯潘丹;帕维特拉·普拉巴卡

海报摘要：平面概率分段常微分系统的稳定性分析。 （英语） Zbl 07807962号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第21号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Das}和\textit{P.Prabhakar}，in：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS-IoT周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第21号论文，第2页（2023；Zbl 07807962）
全文： 内政部
Chong，斯蒂芬;拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼;向、健

网络物理系统传感器攻击的定量稳健性分析。 （英语） Zbl 07807961号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第20号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Chong}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第20号论文，第12页（2023；Zbl 07807961）
全文： 内政部
瓦尔·法塔斯西;海瑟姆凯德尔;瓦伦·山本;亚瑟·舒克利

Bern-NN：使用Bernstein多项式区间算法的神经网络紧界传播。 （英语） Zbl 07807960号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第19号论文，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{W.Fatnassi}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第19号论文，第11页（2023；Zbl 07807960）
全文： 内政部 arXiv公司
托拜厄斯·拉德纳;马蒂亚斯·阿尔霍夫

使用灵敏度分析的神经网络验证中的自动抽象细化。 （英语） Zbl 07807959号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第18号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Ladner}和\textit{M.Althoff}，in：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS-IoT周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第18号文件，第13页（2023；Zbl 07807959）
全文： 内政部 链接
罗、二台;尼古拉斯·科奇杜普尔;斯坦利·巴克

利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 （英语） Zbl 07807958号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Luo}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023；Zbl 07807958）
全文： 内政部
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽

Wordgen：一个定时单词生成工具。 （英语） Zbl 07807957号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023；Zbl 07807957）
全文： 内政部 哈尔
阿尼鲁德·钱德拉特;托马斯·埃尔南德斯·阿科斯塔;坦马·坎代特;朱利亚·佩德里利;乔治·费内科斯

秘密攻击形式化为伪造CPS安全性的STL公式。 （英语） Zbl 07807956号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第15号文件，第8页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Chandratre}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第15号论文，第8页（2023；Zbl 07807956）
全文： 内政部
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生

参数定时正则表达式的模式匹配和参数识别。 （英语） Zbl 07807955号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Mambakam}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号论文，第13页（2023；Zbl 07807955）
全文： 内政部 哈尔
Van Huijgevoort，Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特

SySCoRe：通过随机耦合关系进行合成。 （英语） Zbl 07807954号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号论文，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Van Huijgevoort}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。论文编号13，第11页（2023；Zbl 07807954）
全文： 内政部 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;莫特萨·拉希贾尼安;Manuel jun，马祖。;卢卡·劳伦蒂

具有连续动作空间的区间马尔可夫决策过程。 （英语） Zbl 07807953号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Delimpaltadakis}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023；Zbl 07807953）
全文： 内政部 arXiv公司
伊本·格拉西亚;迪米特里斯·博斯科斯;卢卡·劳伦蒂;Manuel jun，马祖。

切换随机系统的分布鲁棒策略综合。 （英语） Zbl 07807952号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第11号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛I.Gracia｝等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第11号论文，第10页（2023；Zbl 07807952）
全文： 内政部 arXiv公司
阿曼·费尔多西;马蒂亚斯·福格尔;托马斯·诺瓦克;乌尔里希·施密德

阈值模式开关ODE和数字电路延迟模型的连续性。 （英语） Zbl 07807951号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferdowsi}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第10号文件，第11页（2023；Zbl 07807951）
全文： 内政部 arXiv公司
迈赫达德·扎里安;安妮·凯瑟琳·施穆克

基于状态的安全规范的符号输出反馈控制器的延迟综合。 （英语） Zbl 07807950号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Zareian}和\textit{A.-K.Schmuck}，《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2023；Zbl 07807950）
全文： 内政部
弗吉尼亚州德鲍什;Della Rossa，马特奥;拉斐尔·荣格斯

使用附加闭合模板的路径完整稳定性证书的排序特征。 （英语） Zbl 07807949号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第8号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{V.Debauche}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第8号论文，第10页（2023；Zbl 07807949）
全文： 内政部
阿文德·阿迪穆兰;因德拉尼尔·萨哈;Thao Dang先生

基于预计算可达性序列的安全自触发控制。 （英语） Zbl 07807948号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第7号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Adimoolam}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第7号论文，第12页（2023；Zbl 07807948）
全文： 内政部 哈尔
Tran，Hoang Dung村;Choi、Sung Woo;杨晓东;山口，富古屋;巴德省霍克萨;丹尼尔·普罗霍罗夫

具有星可达性的递归神经网络的验证。 （英语） Zbl 07807947号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号文件，第13页（2023）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.D.Tran}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023；Zbl 07807947）
全文： 内政部
马克·韦茨林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔霍夫

使用支持函数的可达性分析对线性系统进行全自动验证。 （英语） Zbl 07807946号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Wetzlinger}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023；Zbl 07807946）
全文： 内政部 链接
Tran，黄登;Choi、Sungwoo;冈本秀树;巴德省霍克萨;乔治·费内科斯;丹尼尔·普罗霍罗夫

使用probstars对神经网络进行定量验证。 （英语） Zbl 07807945号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第4号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.-D.Tran}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第4号论文，第12页（2023；Zbl 07807945）
全文： 内政部
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱

加权信号时序逻辑控制综合的混合整数线性规划方法。 （英语） Zbl 07807944号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第3号文件，第12页（2023）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Cardona}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第3号论文，第12页（2023；Zbl 07807944）
全文： 内政部
陈洪凯;斯科特·斯莫尔卡。;尼古拉·保莱蒂;林，珊

基于STL的网络物理系统弹性控制方法。 （英语） Zbl 07807943号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第2号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第2号论文，第12页（2023；Zbl 07807943）
全文： 内政部 arXiv公司
弗朗西丝卡·凯罗利;尼古拉·保莱蒂;卢卡·博托卢西

随机过程STL需求的保形定量预测监测。 （英语） Zbl 07807942号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第1号论文，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{F.Cairoli}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第1号论文，第11页（2023；Zbl 07807942）
全文： 内政部 arXiv公司
弗洛里安·舒伯思;塔马拉·桑伯格;Rönkkö，米克;刘易德;Jörg Henseler

结构方程建模研究中关于信噪比的过早结论：袁和芳（2023）述评。 （英语） Zbl 1529.62086号

英国数学杂志。Stat.Psychol公司。 76，第3号，682-694（2023）.
MSC公司：第62页，共15页 62H25个 62J05型
PDF格式BibTeX公司 XML格式引用
\textit{F.Schuberth}等人，Br.J.Math。《统计心理学》。76，编号3，682--694（2023；Zbl 1529.62086）
全文： 内政部
OA许可证
哈维尔·埃斯帕尔扎;迈克尔·布隆丁

自动机理论。算法方法。 （英语） Zbl 07770922号

马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-04863-7/hbk；978-0-2262-37693-8/电子书）。xii，532页。，开放存取（2023年）。
审核人：Ioan Tomescu（布库雷什蒂）
MSC公司：68-02 68-01 68第05页 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{M.Blondin}，自动机理论。算法方法。马萨诸塞州剑桥：麻省理工学院出版社（2023；Zbl 07770922）
全文： 链接
P.I.安东。;A.Yu Doroshenko。;伊万尼科，P.A。;O.A.Yatsenko。

Glushkov算法代数和自动并行计算设计。 （英语。乌克兰原文） Zbl 07765729号

赛博。系统。分析。 59，第5期，687-697（2023）; 翻译自Kibern。修女。分析。59，第5期，第3-15页（2023年）。
MSC公司：68周01 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛P.I.Andon｝等人，Cybern。系统。分析。59，编号5，687--697（2023；Zbl 07765729）；翻译自Kibern。修女。分析。59，第5号，第3-15号（2023年）
全文： 内政部
玛莎·施尼伯

近似函数的多项式形式验证。 （英语） Zbl 07761099号

最佳大师威斯巴登：Springer Vieweg；不来梅：不来梅大学（硕士论文）（ISBN 978-3-658-41887-8/pbk；978-3-558-41888-5/电子书）。x、 第79页。(2023).
MSC公司：68-02 2006年第68季度 65年第68季度 60年第68季度 94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Schnieber}，近似函数的多项式形式验证。威斯巴登：斯普林格·维埃格；不来梅：不来梅大学（硕士论文）（2023；Zbl 07761099）
全文： 内政部
达斯科·巴甫洛维奇

程序作为图表。从类别可计算性到可计算类别。 （英语） Zbl 07761082号

可计算性理论与应用查姆：施普林格（ISBN 978-3-031-34826-6/hbk；978-3-331-34829-7/pbk；979-3-031-34.827-3/ebook）。十七、252页。(2023).
MSC公司：68-01 2001年8月 18立方米 68号30 第68季度01
PDF格式BibTeX公司 XML格式引用
\textit{D.Pavlovic}，程序作为图表。从类别可计算性到可计算类别。查姆：施普林格（2023；Zbl 07761082）
全文： 内政部 arXiv公司

第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。 （英语） Zbl 1530.68008号

纽约州纽约市：计算机协会（ACM）（ISBN 979-8-4007-0033-0）。xi，30篇文章，未连续页码（2023年）。
MSC公司：68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）（2023；Zbl 1530.68008）
全文： 内政部
A.I.Glushchenko。;K.A.拉斯托克金。

对称矩阵（P\）的（P\ otimes P\）乘积向量化的构造算法。 （英语。俄文原件） Zbl 07752283号

计算。数学。数学。物理学。 63，编号9，1559-1570（2023）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63，第9期，1415-1427（2023）。
MSC公司：81页68 03C10号机组 第46页第32页 81层33 43A50型 68号30 03天80
PDF格式BibTeX公司 XML格式引用
\textit{A.I.Glushchenko}和\textit{K.A.Lastochkin}，计算。数学。数学。物理学。63，编号9，1559--1570（2023；Zbl 07752283）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63，编号9，1415--1427（2023）
全文： 内政部
亚历山大·阿提基斯（编辑）;弗洛里安·布鲁斯（编辑）;卢克·亨斯伯格（编辑）

第30届时间表征和推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。 （英语） Zbl 1522.68013号

LIPIcs–莱布尼茨国际信息学会议录278.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-298-3）。xiv，22篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Artikis}（ed.）等人，第30届时间表征与推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68013）
全文： 内政部 链接
鲁本·拉波尔;莫里斯·布吕诺格;马克·德内克

奇偶博弈求解算法的证明和重构。 （英语） Zbl 1529.68160号

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 170-187 (2023).
MSC公司：60年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Lapauw}等人，Lect。注释计算。科学。13160170-187（2023年；Zbl 1529.68160）
全文： 内政部 arXiv公司 链接
玛丽亚·德尔·马尔·加拉多;佩德罗·梅里诺;劳拉·帕尼佐

抽象在模型检查中的作用。 （英语） Zbl 1529.68157号

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 151-169 (2023).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.-d.-M.Gallardo}等人，Lect。注释计算。科学。13160，151--169（2023；Zbl 1529.68157）
全文： 内政部
品牌，塞巴斯蒂安;托马斯·伯克;阿尔芬斯·拉阿尔曼

可达性的决策图操作。 （英语） Zbl 1529.68153号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 514-532 (2023).
MSC公司：60年第68季度 68第05页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Brand}等人，Lect。注释计算。科学。14000，514--532（2023；Zbl 1529.68153）
全文： 内政部 arXiv公司
蒙特塞拉特赫莫;帕基·卢西奥;塞萨尔·桑切斯

安全规范可实现性表。 （英语） Zbl 1529.68159号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 495-513 (2023).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Hermo}等人，Lect。注释计算。科学。14000，495--513（2023；Zbl 1529.68159）
全文： 内政部 arXiv公司
拉乔纳，福图纳;爱奥华纳州布尔亚努;瓦迪姆·马尔文;弗朗西斯科·贝拉迪内利

以人工智能为中心的程序语义和验证技术。 （英语） Zbl 1529.68083号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 473-491 (2023).
MSC公司：68号30 68甲15 68问题55 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Rajaona}等人，Lect。注释计算。科学。14000，473--491（2023；Zbl 1529.68083）
全文： 内政部 链接
斯坦利·巴克;泰勒·多曼;苏布拉马尼，K。;阿舒托什·特里维迪;阿尔瓦罗·贝拉斯克斯;彼得·沃伊切乔夫斯基

用于验证神经网络的八进制抽象域。 （英语） Zbl 1529.68150号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 454-472 (2023).
MSC公司：60年第68季度 68T07型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bak}等人，Lect。注释计算。科学。14000，454--472（2023；Zbl 1529.68150）
全文： 内政部
阿希姆·D·布鲁克。;艾米·斯特尔

在Isabelle/HOL中验证用于分类的前馈神经网络。 （英语） Zbl 1529.68154号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 427-444 (2023).
MSC公司：60年第68季度 68T07型 68版本20
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Brucker}和\textit{A.Stell}，莱克特。注释计算。科学。14000，427--444（2023；Zbl 1529.68154）
全文： 内政部
文森佐·西安西亚;Jan Friso，格鲁特;迭戈·拉特拉;梅克·马西克;埃里克·P·德文克。

使用分支双相似性最小化空间模型。 （英语） Zbl 1529.68155号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 263-281 (2023).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，Lect。注释计算。科学。14000，263--281（2023；Zbl 1529.68155）
全文： 内政部
鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔

QMaude：重写逻辑中的定量规范和验证。 （英语） Zbl 1529.68163号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 240-259 (2023).
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Rubio｝等人，Lect。注释计算。科学。14000，240-259（2023；Zbl 1529.68163）
全文： 内政部
斯蒂芬诺·尼科莱蒂（Stefano M.Nicoletti）。;米兰洛普哈·茨瓦肯贝格;E.莫里茨·哈恩;玛丽·斯托琳加

PFL公司：故障树的概率逻辑。 （英语） Zbl 1529.68162号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 199-221 (2023).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Nicoletti}等人，Lect。注释计算。科学。14000，199-221（2023；Zbl 1529.68162）
全文： 内政部 arXiv公司
费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） Zbl 1529.68152号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).
MSC公司：60年第68季度 68号30 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Bauer-Marquart}等人，Lect。注释计算。科学。14000、181--198（2023年；Zbl 1529.68152）
全文： 内政部 arXiv公司
盛、欢欢;亚历山大·本特坎普;詹伯华

HHLPy公司：使用霍尔逻辑对混合系统进行实际验证。 （英语） Zbl 1529.68164号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 160-178 (2023).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Sheng}等人，Lect。注释计算。科学。14000、160至178（2023年；兹比尔1529.68164）
全文： 内政部 arXiv公司
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨

我们能交流吗？使用动态逻辑验证团队自动机。 （英语） Zbl 1529.68165号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 122-141 (2023).
MSC公司：60年第68季度 03B70号 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.H.ter Beek｝等人，Lect。注释计算。科学。14000、122--141（2023年；Zbl 1529.68165）
全文： 内政部
刘，于;Subotic，铺面;埃曼纽尔·莱蒂尔;谢尔盖·梅赫塔耶夫;阿比克·罗伊乔杜里

高效的基于SMT的网络容错验证。 （英语） Zbl 1529.68161号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 92-100 (2023).
MSC公司：60年第68季度 68米15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}等人，Lect。注释计算。科学。14000，92-100（2023；Zbl 1529.68161）
全文： 内政部
马坦一世·贝利德。;巴特·陈·罗森伯格;沙迦·伊扎基

通过模型引导近似进行SMT采样。 （英语） Zbl 1529.68284号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 74-91 (2023).
MSC公司：68T20型 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.I.Peled}等人，Lect。注释计算。科学。14000，74-91（2023；Zbl 1529.68284）
全文： 内政部 arXiv公司
劳拉·科瓦奇

自动程序推理中的符号计算。 （英语） Zbl 1529.68080号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 3-9 (2023).
MSC公司：68号30 60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{L.Kovács}，莱克特。注释计算。科学。14000，3--9（2023；Zbl 1529.68080）
全文： 内政部
卢卡斯·扎瓦利亚;利迪亚·切尔尼戈夫斯卡娅;格里戈里·费迪尤科维奇

求解代数数据类型上的约束Horn子句。 （英语） Zbl 1529.68167号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 341-365 (2023).
MSC公司：60年第68季度 03B70号 68问题65
PDF格式BibTeX公司 XML格式引用
\文本{L.Zavalía}等人，Lect。注释计算。科学。13881341--365（2023年；Zbl 1529.68167）
全文： 内政部
科尔·维克;麦克米兰，肯尼斯·L。

为符号模型检查综合历史和预测变量。 （英语） Zbl 1529.68166号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 320-340 (2023).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Vick}和\textit{K.L.McMillan}，莱克特。注释计算。科学。13881320-340（2023年；Zbl 1529.68166）
全文： 内政部
范德普拉斯，延斯;昆廷·斯蒂文娜特;科恩·德鲁弗

增量模块分析的结果无效。 （英语） Zbl 1529.68085号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 296-319 (2023).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Van der Plas}等人，Lect。注释计算。科学。13881296--319（2023年；Zbl 1529.68085）
全文： 内政部
伊格纳西奥·蒂拉博斯基;塔马拉·雷兹克;对手，泽维尔

通过抽象解释的合理符号执行及其在安全方面的应用。 （英语） Zbl 1529.68084号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 267-295 (2023).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.Tiraboschi}等人，Lect。注释计算。科学。13881267--295（2023年；Zbl 1529.68084）
全文： 内政部 arXiv公司 哈尔
阿米尔·卡夫什达尔·戈哈沙迪;艾哈迈德·哈利德·扎赫尔

使用树宽度和树宽度进行有效的过程间数据流分析。 （英语） 兹比尔1529.68158

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 177-202 (2023).
MSC公司：60年第68季度 68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.K.Goharshady}和\textit{A.K.Zaher}，莱克特。注释计算。科学。13881177-202（2023年；Zbl 1529.68158）
全文： 内政部 哈尔
伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥伦·穆特鲁吉尔

有状态部分顺序缩减的实用方法。 （英语） Zbl 1529.68156号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 129-154 (2023).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Cirisci}等人，Lect。注释计算。科学。13881、129--154（2023年；Zbl 1529.68156）
全文： 内政部 arXiv公司
尼古拉·贝蒂埃;Khakpour、Narges

符号抽象堆用于多态信息流保护推断。 （英语） 兹比尔1529.68079

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 66-90 (2023).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.Berthier}和\textit{N.Khakpour}，莱克特。注释计算。科学。13881、66-90（2023年；Zbl 1529.68079）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件