×

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

最新的 引文 关联
大卫·哈雷;阿米尔·坎特

作为自动机的模式场景。 （英语） Zbl 1486.68104号

Dershowitz，Nachum（编辑）等人，《语言、文化、计算》。计算——理论和技术。在雅科夫·乔伊卡75岁生日之际发表的论文，第一部分：柏林：施普林格。莱克特。注释计算。科学。8001156-167（2014）中所述。
MSC公司：第68季度第60季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}和\textit{A.Kantor}，莱克特。注释计算。科学。8001，156——167（2014年；兹bl 1486.68104）
全文： 内政部
大卫·哈雷;希勒尔·库格勒;沙哈尔·茂兹;意大利塞格尔

聪明的比赛有多难？验证驱动执行的复杂性。 （英语） 兹比尔1194.68153

Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。208-230 (2009).
MSC公司：第68季度第60季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.Harel｝等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。208-230（2009年；Zbl 1194.68153）
大卫·哈雷;沙哈尔·茂兹;意大利塞格尔

关于LSCs的表达能力和复杂性的一些结果。 （英语） Zbl 1133.68375号

Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，351-366（2008）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，Lect。注释计算。科学。4800、351--366（2008年；Zbl 1133.68375）
全文： 内政部
皮埃尔·库姆斯;大卫·哈雷;希勒尔·库格勒

使用实时序列图和播放引擎工具对电信应用程序进行建模和验证。 （英语） Zbl 1170.68510号

Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学课堂讲稿3707，414-428（2005）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Combes}等人，Lect。注释计算。科学。3707414-428（2005年；Zbl 1170.68510）
全文： 内政部
大卫·哈雷;希勒尔·库格勒;阿米尔·普努利

重温综合：根据基于场景的需求生成状态图模型。 （英语） Zbl 1075.68614号

Kreowski，Hans-Jörg（编辑）等人，《软件和系统建模中的形式化方法》。在哈特穆特·埃里格60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-24936-2/pbk）。计算机科学讲座笔记3393，309-324（2005）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，Lect。注释计算。科学。3393、309--324（2005年；Zbl 1075.68614）
全文： 内政部
希勒尔·库格勒;大卫·哈雷;阿米尔·普努利;卢、袁;伊夫·邦坦普斯

基于场景的规范的时间逻辑。 （英语） Zbl 1087.68596号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440445-460（2005）。
MSC公司：第68季度第60季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Kugler}等人，Lect。注释计算。科学。3440445--460（2005年；Zbl 1087.68596）
全文： 内政部
大卫·哈雷

行为需求可以执行吗？（我们为什么要这样做？）。 （英语） Zbl 1028.68511号

Corradini，Andrea（编辑）等人，《图形变换》。2002年10月7日至12日在西班牙巴塞罗那举行的2002年ICGT第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2505, 6-7 (2002).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}，莱克特。注释计算。科学。2505，6--7（2002年；Zbl 1028.68511）
全文： 链接
大卫·哈雷;希勒尔·库格勒

根据LSC规范合成基于状态的对象系统。 （英语） Zbl 0989.68087号

Yu，Sheng（编辑）等，自动机的实现和应用。2000年7月24日至25日，加拿大安大略省伦敦，第五届国际会议，CIAA 2000。修订论文。柏林：斯普林格。莱克特。注释计算。科学。2088, 1-33 (2001).
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}和\textit{H.Kugler}，莱克特。注释计算。科学。2088，1-33（2001；Zbl 0989.68087）
全文： 链接
大卫·哈雷;伊莱·辛格曼

计算路径逻辑：一种表达性的但基本的过程逻辑。 （英语） Zbl 0931.03044号

Ann.纯粹应用。逻辑 96，编号1-3167-186（1999）.
审核人：瓦伦丁·F·戈兰科（约翰内斯堡）
MSC公司：03B70号 第68季度第60季度 68问题85 03B25号 2015年3月1日 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛D.Harel｝和\textit｛E.Singerman｝，Ann.纯应用。逻辑96，No.1--3，167--186（1999；Zbl 0931.03044）
全文： 内政部
大卫·哈雷;奥尔纳库普弗曼;莫舍·瓦尔迪。

关于验证并发转换系统的复杂性。 （英语） 兹比尔1512.68155

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 258-272 (1997).
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，Lect。注释计算。科学。1243、258--272（1997；Zbl 1512.68155）
全文： 内政部
D.加巴伊。（编辑）;F.根特纳。（编辑）
[布尔，R.A。;塞格伯格，K。;J.P.伯吉斯。;托马森·R·H·。;范·本特姆（J.van Benthem）。;J.W.加森。;Cocchiarella，北卡罗来纳州。;安德森，C.A。;螺母，D。;斯莫林斯基，C。;D.哈雷。;Åqvist，L。;D.哈拉。]

哲学逻辑手册。第二卷：经典逻辑的扩展。 （英语） Zbl 0572.03003号

Synthese库，第165卷。多德雷赫特-波士顿-兰卡斯特：D.Reidel出版公司，Kluwer学术出版集团成员。十一、 776页，英国国防部。267.75; $ 102.00; £68.25 (1984).
审核人：S.D.拉托
MSC公司：2002年3月 03A05号 03B45号 03B60号 68问题65 03C80号
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件