×

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

最新的 引文 关联
Bozhenkova，E.N。;Virbitskaite，I.B.公司。

测试时间Petri网的等价性。 （英语。俄文原件） Zbl 1455.68118号

程序。计算。柔和。 46，第4期，251-260（2020年）; 译自Programmirovanie 46，No.4，3-13（2020）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.N.Bozhenkova}和\textit{I.B.Virbitskaite}，程序。计算。柔和。46，第4号，251--260（2020；Zbl 1455.68118）；译自Programmirovanie 46，No.4，3--13（2020）
全文： 内政部
亚历山大·格拉夫·布里尔;霍尔格·赫尔曼斯

组件输入输出一致性。 （英语） Zbl 07800281号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 111-128 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛A.Graf Brill｝和\textit｛H.Hermanns｝，Lect。注释计算。科学。11535、111-128（2019；Zbl 07800281）
全文： 内政部 哈尔
亲爱的，丹尼斯;奥尔纳·格伦伯格

抽象和抽象细化。 （英语） Zbl 1392.68244号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。385-419 (2018).
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.Dams｝和\textit｛O.Grumberg｝，在：模型检查手册中。查姆：斯普林格。385--419（2018；Zbl 1392.68244）
全文： 内政部
洛科·德尼古拉;克劳迪奥·安塔雷斯·梅齐纳;雨果·托雷斯·维埃拉

通过基于属性的通信实现全局协议。 （英语） Zbl 1434.68103号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 219-237 (2015).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。9465、219--237（2015；Zbl 1434.68103）
全文： 内政部
马耳他州洛豪;斯文·佩尔德苏斯;马蒂亚斯·科瓦尔;伊娜·谢弗

基于模型的测试。 （英语） 兹比尔1445.68056

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 310-342 (2014).
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lochau}等人，Lect。注释计算。科学。8483、310——342（2014年；Zbl 1445.68056）
全文： 内政部
约翰·范·本特姆;埃里克·帕奎特

证据的逻辑动力学。 （英语） Zbl 1298.68261号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。人工智能课堂讲稿，1-27（2011）。
MSC公司：68T27型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{J.van Benthem}和\textit{E.Pacuit}，莱克特。注释计算。科学。6953，1-27（2011年；兹bl 1298.68261）
全文： 内政部
埃尔克·博伊滕;约翰·德里克

关系并发求精中的分歧建模。 （英语） Zbl 1211.68265号

Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423183-199（2009）。
MSC公司：68问题85 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Boiten}和\textit{J.Derrick}，莱克特。注释计算。科学。5423183-199（2009年；Zbl 1211.68265）
全文： 内政部
约翰·德里克;埃尔克·博伊滕

更多的关系并发精化：跟踪和部分关系。 （英语） Zbl 1283.68239号

Boiten，Eerke（编辑）等人，《第13届BCS-FACS精炼研讨会论文集》（REFINE 2008），芬兰图尔库，2008年5月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记214255-276（2008）。
MSC公司：68问题85 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Derrick}和\textit{E.Boiten}，电子。注释Theor。计算。科学。214255-276（2008年；Zbl 1283.68239）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯

模拟最新和规范的预订单（扩展抽象）。 （英语） Zbl 1278.68148号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，13-28（2007）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}和\textit{C.G.Rodríguez}，电子。注释Theor。计算。科学。192，编号1，13--28（2007；Zbl 1278.68148）
全文： 内政部
拉尔斯·弗兰岑;特雷特曼，简

组件环境一致性的基于模型的测试。 （英语） Zbl 1147.68446号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。计算机科学课堂讲稿4709，1-25（2007）。
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Frantzen}和\textit{J.Tretmans}，莱克特。注释计算。科学。4709，1--25（2007；Zbl 1147.68446）
全文： 内政部 链接
安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;蒂妮，西蒙

状态图的等效性。 （英语） Zbl 1514.68173号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 687-702 (1996).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Maggiolo-Schettini}等人，Lect。注释计算。科学。1119687-702（1996年；Zbl 1514.68173）
全文： 内政部
伊丽莎白·伦纳德。;艾米·扎里科（Amy E.Zwarico）。

开发和维护实时系统的代数框架。 （英语） Zbl 1496.68237号

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 338-352 (1995).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Leonard}和\textit{A.E.Zwarico}，莱克特。注释计算。科学。936338-352（1995年；Zbl 1496.68237）
全文： 内政部
V·纳塔拉扬。;兰斯·克莱维兰

分歧和公平测试。 （英语） Zbl 1412.68155号

Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 648-659 (1995).
MSC公司：68问题85 2010年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Natarajan}和\textit{R.Cleaveland}，莱克特。注释计算。科学。944648-659（1995年；Zbl 1412.68155）
全文： 内政部
德里拉，K。;阿泽马，P。;苏拉斯，B。;Chemali（A.M.）。

通信系统通过环境的可测试性。 （英语） Zbl 1497.68335号

Gaudel，Marie-Claude（编辑）等人，TAPSOFT’93：软件开发的理论和实践。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。668, 529-543 (1993).
MSC公司：68问题85 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Drira}等人，Lect。注释计算。科学。668529-543（1993年；Zbl 1497.68335）
全文： 内政部
兰斯·克莱维兰;斯科特·斯莫尔卡。;艾米·兹瓦里科

测试概率过程的预订单。 （英语） Zbl 1425.68289号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 708-719 (1992).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Cleaveland｝等人，Lect。注释计算。科学。623708-719（1992年；Zbl 1425.68289）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件