×

找到24个文档(结果1-24)

定时有损信道系统。 (英语) Zbl 1354.68163号

D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18,374-386(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫链上的加权集总性。 (英语) Zbl 1336.68186号

Clarke,Edmund(编辑)等人,《系统信息学的观点》。2011年6月27日至7月1日,俄罗斯新西伯利亚,第八届安德烈·埃尔肖夫国际纪念大会,PSI 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29708-3/pbk)。计算机科学课堂讲稿7162322-339(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Chop表达式和离散持续时间演算。 (英语) Zbl 1256.68096号

D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,229-256(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机简介。 (英语) Zbl 1256.68111号

D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,111-146(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Zeno的静态检测在UPPAAL网络中运行,基于同步矩阵和两个数据变量启发式。 (英语) Zbl 1374.68298号

Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。《计算机科学讲义》7595220-235(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态驱动的时间自动机抽象,用于证明连续系统的活性。 (英语) Zbl 1375.68072号

Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿7595,59-74(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于为具有超时的非确定性有限状态机派生测试套件。 (英语。俄文原件) Zbl 1252.68080号

程序。计算。柔和。 38,第3期,127-133(2012); 译自Programmirovanie 38,No.3(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

避免时间自动机网络中的共享时钟。 (英语) Zbl 1364.68274号

Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。计算机科学课堂讲稿7454,100-114(2012)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者