×

找到3842个文档(结果1-100)

走向网络物理安全协议的自动验证:限定定时入侵者的数量。 (英语) Zbl 1499.68053号

Askoxylakis,Ioannis(编辑)等人,《计算机安全——ESORICS 2016》。2016年9月26日至30日,希腊赫拉克利翁,第21届欧洲计算机安全研究研讨会。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。9879, 450-470 (2016).
PDF格式BibTeX公司 XML格式引用

什么时候三个选民就足够拥有隐私财产了? (英语) Zbl 1499.68045号

Askoxylakis,Ioannis(编辑)等人,《计算机安全–ESORICS 2016》。2016年9月26日至30日,希腊赫拉克利翁,第21届欧洲计算机安全研究研讨会。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。9879, 241-260 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

灵活地操作信息流控制库的标记值。 (英语) Zbl 1499.68060号

Askoxylakis,Ioannis(编辑)等人,《计算机安全–ESORICS 2016》。2016年9月26日至30日,希腊赫拉克利翁,第21届欧洲计算机安全研究研讨会。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9878, 538-557 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

发现差异:安全的多执行和多方面。 (英语) Zbl 1499.68047号

Askoxylakis,Ioannis(编辑)等人,《计算机安全–ESORICS 2016》。2016年9月26日至30日,希腊赫拉克利翁,第21届欧洲计算机安全研究研讨会。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9878, 501-519 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

一致性规划的动态认知框架。 (英语) Zbl 1483.68391号

Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215298-318(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

模型检验概率时间认知逻辑的不确定案例(扩展抽象)。 (英语) Zbl 1483.68210号

Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215264-282(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

基于动态认知逻辑的心智理论模型的参数化复杂性结果。 (英语) Zbl 1483.68387号

Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215246-263(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

归纳问题的可解性:认知拓扑学研究。 (英语) Zbl 1483.68367号

Ramanujam,R.(编辑),《理性与知识理论方面第十五次会议论文集》,TARK 2015,卡耐基梅隆大学,美国匹兹堡,2015年6月4日至6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21581-98(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

有效完成加权自动机。 (英语) Zbl 1483.68152号

Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,55-62(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

使用嵌入式read-back的令牌传递优化缩减。 (英语) Zbl 1482.68123号

Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,45-54(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于图形程序的推理。 (英语) Zbl 1482.68122号

Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,35-44(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

非循环项图的Kruskal树定理。 (英语) Zbl 1482.68121号

Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,25-34(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

用交互网络重写局部图。 (英语) Zbl 1482.68119号

Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,15-24(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

将过程网络编译为交互网络。 (英语) Zbl 1482.68155号

Corradini,Andrea(编辑)等人,《第九届术语和图形计算国际研讨会论文集》,TERMGRAPH 2016,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)225,5-14(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

Horn二进制序列化分析。 (英语) Zbl 1482.68158号

Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21956-68(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

从Horn子句验证条件中删除不必要的变量。 (英语) Zbl 1482.68136号

Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21949-55(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

使用线性Horn子句求解器求解非线性Horn子句。 (英语) Zbl 1482.68141号

Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)219,33-48(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

分解验证问题编码的挑战。 (英语) Zbl 1482.68146号

Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21929-32(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

作为模块化Horn子句的分层状态机。 (英语) Zbl 1482.68102号

Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)219,15-28(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

通过Horn约束求解实现高效的CTL验证。 (英语) Zbl 1482.68134号

Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2191-14(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于LK的Herbrand内容。 (英语) Zbl 1482.03014号

Kohlenbach,Ulrich(编辑)等人,《第六届经典逻辑与计算国际研讨会论文集》,CL&C 2016,葡萄牙波尔图,2016年6月23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2131-10(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

具有检查点的可逆多方会话。 (英语) Zbl 1478.68190号

Gebler,Daniel(ed.)等人,第23届并发表达性国际研讨会和第13届结构操作语义研讨会论文集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22260-74(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

(pi)演算的唯一并行分解。 (英语) Zbl 1478.68193号

Gebler,Daniel(编辑)等人,第23届并发表达性国际研讨会和第13届结构操作语义国际研讨会合集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22245-59(2016)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

自我相似培养韧性。 (英语) Zbl 1478.68195号

Gebler,Daniel(ed.)等人,第23届并发表达性国际研讨会和第13届结构操作语义研讨会论文集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22230-44(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

对名称和进程进行参数化的高阶进程。 (英语) Zbl 1478.68196号

Gebler,Daniel(编辑)等人,第23届并发表达性国际研讨会和第13届结构操作语义国际研讨会合集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)222,15-29(2016年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于BIP表达能力的注释。 (英语) Zbl 1477.68175号

Gebler,Daniel(编辑)等人,第23届并发表达性国际研讨会和第13届结构操作语义国际研讨会合集,EXPRESS/SOS 2016,加拿大魁北克市,2016年8月22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2221-14(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

在双指数时间内,逼近即时-LTL可实现性的最佳界。 (英语) Zbl 1478.68179号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226302-315(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

正则语言的渐近概率几乎等价性及其计算复杂性。 (英语) Zbl 1478.68132号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226272-286(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

分布式PROMPT-LTL合成。 (英语) Zbl 1478.68163号

Cantone,Domenico(ed.)等人,《第七届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2016,意大利卡塔尼亚,2016年9月14日至16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226228-241(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

跟踪语言包含的多缓冲区模拟。 (英语) Zbl 1478.68130号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226213-227(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

有界振荡下推自动机。 (英语) 兹比尔1478.68127

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226178-197(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

计算树逻辑中的循环检测。 (英语) Zbl 1478.68158号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226164-177(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

加权线性动态逻辑。 (英语) Zbl 1478.03065号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226149-163(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

对于高阶模态不动点逻辑,交替是严格的。 (英语) Zbl 1478.03035号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226105-119(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

模型检查艾伦关系的逻辑遇见由启动是\(\mathbf{P}^{\mathbf{NP}}\)-完成的。 (英语) Zbl 1478.68148号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22676-90(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

终端报酬并发博弈中不精确偏差下的随机均衡。 (英语) Zbl 1478.91035号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22661-75(2016)。
MSC公司:91A43型 68问题85
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

对等游戏的延迟促销政策。 (英语) Zbl 1478.68144号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)22630-45(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

奇偶博弈的部分解算器:有效的多项式时间合成。 (英语) Zbl 1478.68139号

Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2261-15(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

将容器定向为类别。 (英语) Zbl 1477.68169号

Atkey,Robert(ed.)等人,《第六届数学结构函数编程研讨会论文集》,2016年MSFP,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)207,89-98(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

Eilenberg-Moore幺半群和回溯单子变换。 (英语) Zbl 1477.18013号

Atkey,Robert(ed.)等人,《第六届数学结构函数编程研讨会论文集》,2016年MSFP,荷兰埃因霍温,2016年4月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)207,23-56(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

空间显式生态模型过程演算的平均场语义。 (英语) Zbl 1480.92232号

Muñoz,César A.(ed.)等人,第十一届计算模型发展国际研讨会论文集,2015年DCM,哥伦比亚卡利,2015年10月28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)204、79-94(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

使用Petri网对并发系统进行组合模型检查。 (英语) Zbl 1477.68184号

Muñoz,César A.(编辑)等人,第十一届计算模型发展国际研讨会论文集,DCM 2015,哥伦比亚卡利,2015年10月28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)204,19-30(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

将PVS中的汇流形式化。 (英语) Zbl 1477.68164号

Muñoz,César A.(编辑)等人,第十一届计算模型发展国际研讨会论文集,DCM 2015,哥伦比亚卡利,2015年10月28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)204,11-17(2016)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

有限群的基于蕴涵的模糊半自动机及其性质。 (英语) Zbl 1467.68097号

Chen,Chuei Yee(编辑)等,《通过数学和统计研究进行创新》。2016年1月26日至28日在马来西亚吉隆坡举行的第二届国际数学科学与统计会议记录。纽约州梅尔维尔:美国物理研究所(AIP)。AIP确认程序。1739,文章ID 020010,8 p.(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重新访问快速排序。验证快速排序的替代版本。 (英语) Zbl 1475.68102号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 407-426 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有Goroutines和延迟函数的并发演算的一种小步语义。 (英语) Zbl 1475.68050号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。第9660、393-406页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

准时演员。 (英语) Zbl 1475.68213号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 373-392 (2016).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过概率测试表征模拟。 (英语) Zbl 1475.68212号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 360-372 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组件部署中同步的表现性。 (英语) Zbl 1475.68211号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 344-359 (2016).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

用于验证规范化多智能体系统的正式框架。 (英语) Zbl 1475.68189号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660294-308(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

为故事和游戏中的时间旅行建立一个正式的基础。 (英语) 邮编1475.00005

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 261-276 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向范式的证明方法。 (英语) Zbl 1475.68184号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 242-260 (2016).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

适用于动态类型、面向对象程序的完善的Hoare逻辑。 (英语) Zbl 1475.68085号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 173-193 (2016).
PDF格式BibTeX公司 XML格式引用

带有符号轴的数组抽象。 (英语) Zbl 1475.68088号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 104-121 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统验证的组合方法。 (英语) Zbl 1475.68173号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。第9660、88-103页(2016年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

适当的协议。 (英语) Zbl 1475.68200号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660,65-87(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

比较跟踪表达式和线性时序逻辑以进行运行时验证。 (英语) Zbl 1475.68172号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 47-64 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式系统的资源分析。 (英语) Zbl 1475.68034号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 33-46 (2016).
MSC公司:64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时模型的一致性检查。符号执行与有界模型检查。 (英语) Zbl 1475.68171号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660,15-32(2016年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最热烈的祝贺,弗兰克! (英语) Zbl 1475.68013号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 9-11 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对弗兰克的美好回忆。 (英语) Zbl 1475.68015号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 6-8 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序验证:错误是人的。 (英语) Zbl 1475.68012号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 3-5 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PPTL_SPIN:一个用于命题投影时间逻辑的基于SPIN的模型检查器。 (英语) Zbl 1461.68124号

刘少英(主编)等,结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9559, 195-205 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LtlNfBa公司:使LTL翻译更实用。 (英语) Zbl 1461.68121号

刘少英(主编)等,结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9559, 179-194 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有一个可更新时钟的可更新时间自动机的可达性分析。 (英语) Zbl 1461.68109号

刘少英(主编)等,结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9559, 147-161 (2016).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用最大可满足性的时间自动机的故障定位。 (英语) Zbl 1461.68103号

刘少英(主编)等,结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9559, 72-85 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有未来折扣的LTL近似最优调度。 (英语) Zbl 1457.68167号

Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 112-130 (2016).
PDF格式BibTeX公司 XML格式引用

参数化系统中的数据跟踪。 (英语) Zbl 1457.68186号

Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 32-46 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多方测试预订单。 (英语) 兹比尔1457.68022

Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 16-31 (2016).
MSC公司:64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用

应用像素中的安全两部分计算:模型和验证。 (英语) Zbl 1457.68180号

Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 1-15 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

从嵌套Petri网模型自动构建分布式组件系统。 (英语。俄文原件) Zbl 1452.68242号

程序。计算。柔和。 42,第5号,292-306(2016)译自Programmirovanie 42,No.5,49-67(2016)。
MSC公司:68T42型 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

C程序演绎验证的区域分析。 (英语。俄文原件) Zbl 1452.68051号

程序。计算。柔和。 42,编号5257-278(2016)译自Programmirovanie 42,No.5,3-29(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间Petri网的“真正并发”和非确定性语义。 (英语。俄文原件) Zbl 1451.68194号

程序。计算。柔和。 42,第4期,187-197(2016)译自Programmirovanie 42,No.4,4-16(2016)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

开发基于自动代码生成的软件系统。 (英语。俄文原件) Zbl 1452.68054号

程序。计算。柔和。 42,第3期,167-173(2016)译自Programmirovanie 42,No.3,55-63(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

软件