×

FM'99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。 (英语) 兹比尔0929.00076

计算机科学课堂讲稿. 1708; 1709.柏林:施普林格。1875页(1999年)。

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。
索引文章:
C.A.R.霍尔。,编程理论:自上而下、自下而上和中间会合,1-27[Zbl 0976.68110号]
克利夫·琼斯。,以VDM为特征的科学决策,28-47[Zbl 0954.68504号]
菲利普斯,简;伦佩,伯恩哈德,改进管道和过滤器架构,96-115[Zbl 0954.68003号]
雷诺·库基·苏尼奥,封闭系统规范中的组件和接口细化,134-154[Zbl 0954.68100号]
巴甫洛维奇,杜什科,一阶参数规范的语义,155-172[Zbl 0954.68095号]
弗兰克·雷夫费尔(Frank Reffel);斯特凡·爱德坎普,使用定向符号模型检查进行错误检测,195-211[Zbl 0954.68101号]
特里帕基斯(Tripakis)、斯塔夫罗斯(Stavros);卡琳·阿尔蒂森,离散和稠密系统的实时控制器综合,233-252[Zbl 1037.93522号]
Jean-Michel库弗勒,线性时序逻辑的现场验证,253-271[Zbl 0954.68102号]
戴维·德哈贝(David Déharbe);阿纳玛丽亚·马丁斯·莫雷拉,用更少的不动点计算进行符号模型检查,272-288[Zbl 0954.68103号]
罗伯托·巴布蒂;尼科莱塔·德·弗朗西斯科;安东内拉·桑顿;吉利奥拉·瓦格利尼,用于实时模型检查的过渡系统的基于公式的抽象,289-306[Zbl 0954.68109号]
王法恩,所有进程数的指针数据结构系统的自动验证,328-347[Zbl 0954.68053号]
Yann Rouzaud,解释精细演算中的B方法,411-430[Zbl 0956.68032号]
让-弗朗索瓦·莫宁;弗朗西斯·克莱,ABR一致性标准化算法的正确性证明,662-681[Zbl 0954.68110号]
沃尔克马尔,洛茨;沃尔克·凯斯勒;乔治·沃尔特,微处理器硬件的正式安全模型,718-737[Zbl 0954.68004号]
史蒂夫·施耐德,提取和测试,738-757[兹比尔0954.68016]
周丹;Chin,Shiu-Kai先生,安全通信信道的形式化分析:安全核心电子邮件协议,758-775[Zbl 1014.94559号]
林肯,P。;J.米切尔。;米切尔,M。;A.斯克洛夫。,概率多项式时间等价与安全分析,776-793[Zbl 0976.94029号]
福卡迪、里卡多;法比奥·马蒂内利,安全属性定义的统一方法,794-813[Zbl 0972.94042号]
Syverson,Paul F。;Stublebine,斯图亚特·G·斯塔布尔宾。,集团负责人和匿名形式化,814-833[Zbl 0948.94013号]
穆勒·奥尔姆,马库斯;安德烈亚斯·沃尔夫关于可原谅和不可原谅的失败。关于翻译正确性的适当概念,1107-1127[Zbl 0953.68038号]
Dellacherie,S。;Devulder,S。;J.-L.兰伯特。,基于线性规划的软件验证,1147-1165[Zbl 0953.68093号]
斯蒂芬·默兹,更完整的TLA,1226-1244[Zbl 0952.03016号]
de Boer,F.S。;英国汉尼曼。;德罗弗,W.-P。,《共享变量并发依赖保证范式的形式化证明:语义方法》,1245-1265[Zbl 0956.68099号]
安德鲁·马丁,关联Z和一阶逻辑,1266-1280[Zbl 0948.03512号]
伊琳娜·斯马兰达奇(Irina M.Smarandache)。;蒂埃里·戈蒂埃;保罗·勒格尔尼克,通过仿射演算对时钟同步约束的混合信号阿尔法实时系统的验证,1364-1383[Zbl 0956.68087号]
何继峰,共同设计的行为模型,1420-1438年[兹比尔0948.03511]
安娜·卡瓦尔坎蒂;戴维·诺曼(David A.Naumann)。,面向对象的精化语言的最弱前提语义,1439-1459[Zbl 0953.68081号]
回来了,拉尔夫;米哈伊洛娃,安娜;约阿金·冯·赖特,关于交互系统的推理,1460-1476[兹比尔0953.68039]
埃里克·C·R·海纳。;安德鲁·格雷维尔(Andrew M.Gravell)。,精炼语义和循环规则,1497-1510[Zbl 0953.68082号]
约瑟夫·戈根(Joseph Goguen);格里高·罗什乌,隐藏更多隐藏代数,1704-1719[Zbl 0953.68094号]
Erich Grädel;马克·斯皮尔曼,通过抽象状态机实现日志空间可约性,1738-1757[Zbl 0952.03050号]
罗莎·吉梅内斯;费尔南多·奥雷贾斯,高阶模的代数框架,1778-1797[Zbl 0953.68097号]

MSC公司:

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
PDF格式BibTeX公司 XML格式引用