×

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

最新的 引文 关联
罗布·范格拉贝克；彼得·霍夫纳；朱尔·范德沃尔

使用mCRL2（扩展抽象）分析AWN规范。 （英语） Zbl 1514.68186号

Furia，Carlo A.（编辑）等，《综合形式方法》。2018年9月5日至7日，第14届国际会议，2018年国际单项体育联合会，爱尔兰Maynooth。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11023, 398-418 (2018).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}等人，Lect。注释计算。科学。11023398--418（2018年；Zbl 1514.68186）
全文： 内政部 链接
托马索·博洛涅西

布尔网的类LOTOS合成和因果集构造。 （英语） Zbl 1498.68178号

Katoen，Joost-Pieter（编辑）等，建模教育，测试教育，信任教育。在埃德·布林克斯马60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10500, 27-47 (2017).
MSC公司：68问题80 2006年第68季度 83A05号
PDF格式BibTeX公司 XML格式引用
\textit{T.博洛涅西}，莱克特。注释计算。科学。10500，27-47（2017；Zbl 1498.68178）
全文： 内政部
休伯特·加拉维；弗雷德里克·朗；温德林，塞尔韦

从LOTOS到LNT。 （英语） Zbl 1498.68062号

Katoen，Joost-Pieter（编辑）等，建模教育，测试教育，信任教育。在埃德·布林克斯马60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10500, 3-26 (2017).
MSC公司：68甲15 68N20型 60年第68季度 68问题65 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}等人，Lect。注释计算。科学。10500，3--26（2017；Zbl 1498.68062）
全文： 内政部 哈尔
彼得·格约尔·詹森；金·古德斯特兰·拉森；吉·斯尔巴

基于离散化的时弧Petri网博弈实时策略综合。 （英语） Zbl 1354.68196号

博什纳奇·德拉甘（编辑）等人，《模型检查软件》。2016年4月7日至8日，第23届国际研讨会，SPIN 2016，与ETAPS 2016合办，荷兰埃因霍温。诉讼程序。查姆：施普林格（ISBN 978-3-319-32581-1/pbk；978-3-3169-32582-8/电子书）。计算机科学讲座笔记9641129-146（2016）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。9641、129--146（2016年；Zbl 1354.68196）
全文： 内政部
埃米尔·布雷斯；罗布·范格拉贝克；彼得·霍夫纳

无线网络的定时进程代数，具有路由应用程序（扩展抽象）。 （英语） Zbl 1335.68005号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632，95-122（2016）。
MSC公司：68M10个 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Bres}等人，Lect。注释计算。科学。9632，95-122（2016；Zbl 1335.68005）
全文： 内政部 arXiv公司
伊米德·埃丁·查马；纳比尔·贝拉拉；赛杜尼，Djamel Eddine

业务流程时间约束的形式化建模和分析。 （英语） Zbl 1368.68044号

Bouabana-Tebbel，Thouraya（编辑）等人，《重用和系统集成的形式化》。查姆：施普林格（ISBN 978-3-319-16576-9/pbk；978-3-316-16577-6/电子书）。《智能系统与计算进展》346149-172（2015）。
MSC公司：68英里11 第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.E.Chama}等人，高级情报。系统。计算。346149--172（2015年；Zbl 1368.68044）
全文： 内政部
罗伯托·戈里埃里；克里斯蒂安·维萨里

并发理论简介。过渡系统和CCS。 （英语） Zbl 1333.68001号

理论计算机科学课文。EATCS系列查姆：施普林格（ISBN 978-3-319-21490-0/hbk；978-3-3169-21491-7/电子书）。xi，第334页。(2015).
审核人：佩德罗·桑切斯·特拉夫（科尔多瓦）
MSC公司：68-01 第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Gorrieri}和\textit{C.Versari}，并发理论简介。过渡系统和CCS。查姆：斯普林格（2015；Zbl 1333.68001）
全文： 内政部
拉杜·马特埃斯库；格温·萨拉恩

PIC2LNT：用于检查应用像素的模型转换。 （英语） Zbl 1381.68175号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795192-198（2013）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛R.Mateescu｝和\textit｛G.Salaün｝，Lect。注释计算。科学。7795，192--198（2013；Zbl 1381.68175）
全文： 内政部 哈尔
大卫·桑吉奥吉（编辑）；简·拉特（编辑）

相互模拟和共同归纳的高级主题。 （英语） Zbl 1264.68009号

剑桥理论计算机科学丛书52.剑桥：剑桥大学出版社（ISBN 978-1-107-00497-9/hbk）。xiii，第326页。（2012年）。
审核人：安蒂·瓦尔马里（Jyväskylä）
MSC公司：68-06 68-02 00B15号机组 68问题85 03B45
PDF格式BibTeX公司 XML格式引用
\textit{D.Sangiorgi}（编辑）和textit{J.Rutten}（主编），互模拟和共约高级主题。剑桥：剑桥大学出版社（2012；Zbl 1264.68009）
Joost-Pieter卡托恩；范德波尔（Jaco van de Pol）；玛丽·斯托琳加；马克·蒂默

概率自动机数据的线性过程代数格式。 （英语） Zbl 1283.68246号

西奥。计算。科学。 413，第1期，36-57（2012）.
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Theor。计算。科学。413，编号1，36-57（2012；Zbl 1283.68246）
全文： 内政部 链接
休伯特·加拉维；弗雷德里克·朗；拉杜·马特埃斯库；温德林，塞尔韦

CADP 2010：用于构建和分析分布式过程的工具箱。 （英语） Zbl 1316.68074号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605372-387（2011）。
MSC公司：60年第68季度 68-04 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}等人，Lect。注释计算。科学。6605372--387（2011年；Zbl 1316.68074）
全文： 内政部
萨宾娜·阿赫塔；斯蒂芬·默兹；马丁·昆森

用于对算法及其属性进行建模的高级语言。 （英语） Zbl 1325.68040号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日，第13届巴西正式方法研讨会，SBMF 2010，巴西纳塔尔。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527，49-63（2011）。
MSC公司：68甲15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Akhtar}等人，Lect。注释计算。科学。6527，49-63（2011；Zbl 1325.68040）
全文： 内政部 链接
霍华德·鲍曼；约翰·德里克

视点建模。重印2001年精装版。 （英语） Zbl 1256.68042号

Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。451-475 (2010).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Bowman}和\textit{J.Derrick}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。451--475（2010年；Zbl 1256.68042）
勒杜克，盖伊

E-LOTOS过程代数中的多媒体。重印2001年精装版。 （英语） Zbl 1253.68245号

Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。357-372（2010年）。
MSC公司：68问题85 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{G.Leduc}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。357--372（2010年；Zbl 1253.68245）
汤姆·罗伯斯；加布里埃尔·休卡斯；胡安·奎马达；阿尔贝托·维尔德乔；路易斯·迪亚斯（Luis F.Llana-Díaz）。

过程计算：E-LOTOS。重印2001年精装版。 （英语） Zbl 1253.68251号

Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。77-104 (2010).
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Robles}等人，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。77-104（2010年；Zbl 1253.68251）
霍华德·鲍曼（编辑）；约翰·德里克（编辑）

分布式处理的形式化方法。面向对象方法综述。重印2001年精装版。 （英语） Zbl 1233.68011号

剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。x、 480页。(2010).
MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。2001年精装版再版，剑桥：剑桥大学出版社（2010；Zbl 1233.68011）
霍尔格·赫尔曼斯；Joost-Pieter卡托恩

交互马尔可夫链的方式和原因。 （英语） Zbl 1312.68152号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286，311-337（2010）。
MSC公司：68问题85 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。6286、311--337（2010年；Zbl 1312.68152）
全文： 内政部 链接
克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯；张丽君

随机世界中的并发和合成。 （英语） Zbl 1287.68132号

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。2010年8月31日至9月3日，法国巴黎，第21届国际会议，CONCUR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269，21-39（2010）。
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}等人，Lect。注释计算。科学。6269，21-39（2010；Zbl 1287.68132）
全文： 内政部 哈尔
尼古拉斯·科斯特；霍尔格·赫尔曼斯；艾蒂安·兰特雷贝克；温德林，塞尔韦

面向工业GALS设计中成分模型的性能预测。 （英语） Zbl 1242.68005号

Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。《计算机科学讲义》5643204-218（2009）。
MSC公司：2007年7月68日 60J20型 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{N.Coste}等人，Lect。注释计算。科学。5643、204--218（2009；Zbl 1242.68005）
全文： 内政部 链接
纳尔逊·索托·罗莎

中间件系统的行为规范。 （英语） Zbl 1171.68426号

Alexander，Michael（编辑）等人，《并行和分布式处理的进程代数》。佛罗里达州博卡拉顿：CRC pRESS（ISBN 978-1-4200-6486-5/hbk）。查普曼和霍尔/CRC计算科学系列，161-198（2009）。
MSC公司：68N99型 60年第68季度 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{N.S.Rosa}，in：并行和分布式处理的进程代数。佛罗里达州博卡拉顿：CRC pRESS。161--198（2009年；Zbl 1171.68426）
埃尔克·博伊滕；约翰·德里克

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

Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423183-199（2009）。
MSC公司：68问题85 60年第68季度
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 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Derrick｝和\textit｛E.Boiten｝，电子。注释Theor。计算。科学。214255-276（2008年；Zbl 1283.68239）
全文： 内政部
斯特凡·布隆；范德波尔（Jaco van de Pol）

具有递归数据类型的过程代数的符号可达性。 （英语） Zbl 1161.68613号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。《计算机科学讲义》5160，81-95（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Blom}和\textit{J.van de Pol}，莱克特。注释计算。科学。5160、81-95（2008年；Zbl 1161.68613）
全文： 内政部 链接
拉杜·马特埃斯库；佩德罗·蒙泰罗。；埃斯特尔·杜马斯；德容、希德

遗传调控网络的计算树规则逻辑。 （英语） Zbl 1183.68380号

Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，48-63（2008）。
MSC公司：60年第68季度 03B44号 03B45 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Mateescu}等人，Lect。注释计算。科学。5311、48-63（2008年；Zbl 1183.68380）
全文： 内政部 链接
哈拉尔德·费彻；海科·施密特

进程代数具有内在的选择：修改了并发系统的语义。 （英语） Zbl 1278.68142号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，45-60（2007）。
MSC公司：第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Fecher}和\textit{H.Schmidt}，电子。注释Theor。计算。科学。192，第1号，45-60（2007；Zbl 1278.68142）
全文： 内政部
陈、陶璐；贝斯·普洛格；范德波尔（Jaco van de Pol）；Tim A.C.Willemse。

使用参数化布尔方程系统对无限系统进行等价性检查。 （英语） Zbl 1151.68521号

Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703120-135（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。注释计算。科学。4703、120--135（2007年；Zbl 1151.68521）
全文： 内政部 链接
F·巴斯克斯。；罗滕斯特里奇，S。

实时系统设计正式开发的组合模型。 （英语） Zbl 1127.68406号

Ionescu，Dan（编辑）等人，《实时系统》。建模、设计和应用。根据AMAST研讨会上的演示选择论文。新泽西州哈肯萨克：《世界科学》（ISBN 981-02-4424-X/hbk）。AMAST计算机系列8，237-261（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Vazquez}和\textit{S.Rotenstreich}，AMAST Ser。计算。8237--261（2007；Zbl 1127.68406）
弗雷德里克·朗

用于成分验证的精细界面。 （英语） Zbl 1225.68120号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229159-174（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Lang}，莱克特。注释计算。科学。4229159--174（2006年；Zbl 1225.68120）
全文： 内政部
格温·萨拉恩；温德林，塞尔韦

将硬件进程代数转换为标准进程代数：用CHP和LOTOS进行说明。 （英语） 兹比尔1137.68454

Romijn，Judi（编辑）等，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771287-306（2005）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Salaün}和\textit{W.Serwe}，莱克特。注释计算。科学。3771287-306（2005年；兹bl 1137.68454）
全文： 内政部 链接
何塞·梅塞盖尔；格里高·罗什乌

重写逻辑语义：从语言规范到形式化分析工具。 （英语） Zbl 1126.68464号

David Basin（编辑）等人，《自动推理》。第二届国际联合会议，2004年7月4日至8日，爱尔兰科克，IJCAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22345-2/pbk）。计算机科学课程讲稿3097。人工智能课堂讲稿，1-44（2004）。
MSC公司：第68季度55 第68季度第42季度 60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{G.Rošu}，莱克特。注释计算。科学。3097，1-44（2004；Zbl 1126.68464）
全文： 内政部
乔纳森·比林顿；盖·爱德华·加拉斯；韩冰

协议验证的有色Petri网方法。 （英语） Zbl 1088.68656号

Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿3098210-290（2004）。
MSC公司：68问题85 68个M12 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Billington}等人，Lect。注释计算。科学。3098、210-290（2004年；Zbl 1088.68656）
全文： 内政部
马吕斯·布乔里亚努。；Eerke A.Boiten。

面向通信承载规范。 （英语） Zbl 1108.68377号

Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学讲义3116，57-71（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Bujorianu}和\textit{E.A.Boiten}，莱克特。注释计算。科学。3116，57--71（2004；Zbl 1108.68377）
全文： 内政部
肯尼思·特纳。

将图形行为描述形式化。 （英语） Zbl 1108.68416号

Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学课堂讲稿3116537-552（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.J.Turner}，莱克特。注释计算。科学。3116537-552（2004年；兹bl 1108.68416）
全文： 内政部
卡隆·桑德兰；Jeremy Bryans；莱昂内尔·莫雷尔

在符号设置中逻辑地表示迭代属性。 （英语） 兹比尔1108.68412

Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学讲义3116，460-474（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Shankland}等人，Lect。注释计算。科学。3116、460——474（2004年；Zbl 1108.68412）
全文： 内政部
罗宾逊，彼得；卡隆·桑德兰

使用Ergo对抗无限状态。 （英语） Zbl 1279.68266号

König，Hartmut（ed.）等人，网络和分布式系统的形式化技术–FORTE 2003。2003年9月29日至10月2日在德国柏林举行的第23届IFIP WG 6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20175-0/pbk）。莱克特。注释计算。科学。2767, 144-159 (2003).
MSC公司：68问题85 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{P.Robinson}和\textit{C.Shankland}，莱克特。注释计算。科学。2767144-159（2003年；Zbl 1279.68266）
全文： 内政部
马克·弗拉皮耶；雷吉尼·拉劳

证明信息系统的事件排序属性。 （英语） Zbl 1028.68545号

Bert，Didier（ed.）等人，ZB 2003:Z和B中的正式规范和开发。第三届B和Z用户国际会议，芬兰图尔库，2003年6月4-6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2651, 421-436 (2003).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Frappier}和\textit{R.Laleau}，莱克特。注释计算。科学。2651421--436（2003年；Zbl 1028.68545）
全文： 链接
哈拉尔德·费彻；米拉·卡德巴姆少校；吴金钊

使用真正的并发模型对实时进程代数中的操作进行优化。 （英语） Zbl 1270.68213号

Derrick，John（编辑）等人，REFINE 2002。BCS FACS精炼研讨会会议记录（FLoC 2002卫星活动），丹麦哥本哈根，2002年7月20日至21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第3期，260-280（2002）。
MSC公司：68问题85 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Fecher｝等人，电子。注释Theor。计算。科学。70，第3号，260--280（2002；Zbl 1270.68213）
全文： 链接
哈拉尔德·费彻；米拉·卡德巴姆少校

延迟决策：基于最终结果的选择与行动优化相结合。 （英语） Zbl 1270.68084号

Derrick，John（编辑）等人，REFINE 2002。BCS FACS精炼研讨会会议记录（FLoC 2002卫星活动），丹麦哥本哈根，2002年7月20日至21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第3期，244-259（2002）。
MSC公司：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Fecher}和\textit{M.Majster-Cederbaum}，电子。注释Theor。计算。科学。70，第3号，244--259（2002；Zbl 1270.68084）
全文： 链接
克里斯托夫·洛尔；Jean-Pierre科蒂亚特

从时间相关系统的规范到调度。 （英语） Zbl 1278.68182号

Damm，Werner（编辑）等人，《实时和容错系统中的形式化技术》。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469129-145（2002）。
MSC公司：60年第68季度 68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Lohr}和\textit{J.-P.Courtiat}，莱克特。注释计算。科学。2469129--145（2002年；Zbl 1278.68182）
全文： 内政部
哈拉尔德·费彻；米拉·卡德巴姆少校；吴金钊

具有真正并发模型的概率进程的操作优化。 （英语） Zbl 1065.68591号

Hermanns，Holger（编辑）等人，《过程代数和概率方法》。性能建模和验证。2002年PAPM-PROBMIV第二次联合国际研讨会，丹麦哥本哈根，2002年7月25-26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43913-7）。莱克特。注释计算。科学。2399, 77-94 (2002).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fecher}等人，Lect。注释计算。科学。2399、77-94（2002年；Zbl 1065.68591）
全文： 链接
休伯特·加拉维；霍尔格·赫尔曼斯

使用CADP将功能验证和性能评估结合起来。 （英语） Zbl 1064.68523号

Eriksson、Lars-Henrik（编辑）等人，《FME 2002：正式方法——正确使用IT》。欧洲正式方法国际研讨会，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43928-5）。莱克特。注释计算。科学。2391, 410-429 (2002).
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{H.Hermanns}，莱克特。注释计算。科学。2391410-429（2002年；Zbl 1064.68523）
全文： 链接
Shmuel Katz；奥尔纳·格伦伯格

翻译模型和规范的框架。 （英语） Zbl 1057.68628号

迈克尔·巴特勒（编辑）等人，《综合形式方法》。第三届国际会议，IFM 2002，芬兰图尔库，2002年5月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43703-7）。莱克特。注释计算。科学。2335145-164（2002年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Katz}和\textit{O.Grumberg}，莱克特。注释计算。科学。2335145-164（2002年；Zbl 1057.68628）
全文： 链接
阿尔贝托·维尔德乔

在Maude中为LOTOS符号语义构建工具。 （英语） Zbl 1037.68516号

Peled，Doron A.（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2002》。第22届IFIP工作组6.1国际会议，2002年11月11日至14日，美国德克萨斯州休斯顿。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00141-7/pbk）。莱克特。注释计算。科学。2529, 292-307 (2002).
MSC公司：64岁以下 60年第68季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{A.Verdejo}，莱克特。注释计算。科学。2529292--307（2002年；Zbl 1037.68516）
全文： 链接
休伯特·加拉维；弗雷德里克·朗

NTIF：一种通用的符号模型，用于将顺序进程与数据进行通信。 （英语） Zbl 1037.68556号

Peled，Doron A.（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2002》。第22届IFIP工作组6.1国际会议，2002年11月11日至14日，美国德克萨斯州休斯顿。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00141-7/pbk）。莱克特。注释计算。科学。2529, 276-291 (2002).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。2529276--291（2002年；Zbl 1037.68556）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件