停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

6.AMAST 1997：澳大利亚悉尼

>主页 >会议和研讨会 >AMAST公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/1997
约翰逊:
代数方法论和软件技术，第六届国际会议，1997年12月13日至17日，澳大利亚悉尼AMAST，会议记录。计算机科学课堂讲稿1349,施普林格 1997，国际标准图书编号3-540-63888-1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/LamineP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/LamineP97
苗条的本·拉明,约翰·普莱斯:
信息系统软件配置。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Bertot97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Bertot97
伊夫·贝托特:
头部训练简化。 16-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/BloomLEM97文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/BloomLEM97
史蒂芬·L·布鲁姆,安娜·拉布拉,佐尔坦·埃西克,欧内斯特·马内斯:
迭代2理论：扩展抽象。 30-44岁
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/BrunsS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/BrunsS97
格伦·布伦斯,伊恩·萨瑟兰:
模型检查和容错。 45-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/ButhKPS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/ButhKPS97
贝蒂娜·布斯,米歇尔·库瓦拉斯,简·佩莱斯卡,惠施:
容错系统的死锁分析。 60-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/CenciarelliKRW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/CenciarelliKRW97
彼得罗·森恰雷利,亚历山大·纳普,伯恩哈德再利用,马丁·威辛:
从顺序到多线程Java：基于事件的操作语义。 75-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/CerioliHKM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/CerioliHKM97
毛拉·塞里奥利,安妮·哈克斯豪森,伯恩德·克里格·布吕克纳,蒂尔·莫萨科夫斯基:
CASL中的允许子分类部分逻辑。 91-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/CeroneM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/CeroneM97
安东尼奥·塞隆,乔治·米尔恩:
循环过程代数中时间约束的说明。 108-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/ChenC97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/ChenC97
陈晓军,弗拉维奥·科拉迪尼:
关于时间进程代数性能属性的说明和验证。 123-137
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/CousotC97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/CousotC97
帕特里克·库索特,拉迪亚·库索特:
代数多项式系统的抽象解释（扩展摘要）。 138-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/GrootR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/GrootR97
马丁·德·格罗,罗宾森:
模块化细化和模型构建。 155-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/DenkerRCS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/DenkerRCS97
格利特·丹克尔,詹姆·拉莫斯,卡洛斯·卡莱罗,Amílcar塞尔维亚语:
具有事务的对象的线性时序逻辑方法。 170-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/DuMNRS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/DuMNRS97
杜晓群,凯文·麦克唐纳,Evangelos Nanos公司,Y.S.罗摩克里希纳,斯科特·A·斯莫尔卡:
软件设计、规范和验证：从Rether案例研究中吸取的教训。 185-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Fidge97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Fidge97
科林·菲奇:
实时多任务程序的优化规则。 199-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/FranceBLG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/FranceBLG97网址
罗伯特·B·法国,Jean-Michel布鲁尔,玛丽亚·拉罗多·佩特里,伊曼纽尔·格兰特:
严格的面向对象建模：集成正式和非正式符号。 216-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/GiacobazziR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/GiacobazziR97
罗伯托·贾科巴齐,弗朗西斯科·兰扎托:
抽象解释的完备性：领域视角。 231-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Harrison公司97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Harrison97
约翰·哈里森:
HOL光中的浮点验证：指数函数。 246-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Hooman97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Hooman97
乔泽夫·胡曼:
分布式实时和容错协议的验证。 261-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Jacobs97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Jacobs97网址
雅各布施:
不变量、互模拟和余代数精化的正确性。 276-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Janowski97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Janowski97网址
托马斯·贾诺夫斯基:
关于双模拟、故障单调性和可证明的容错性。 292-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/KatisSW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/KatisSW97
皮耶朱利奥·卡蒂斯,尼科莱塔·萨巴迪尼,罗伯特·F·C·沃尔特斯:
跨度（图）：过渡系统的范畴代数。 307-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/KatisSW97a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/KatisSW97a
皮耶朱利奥·卡蒂斯,尼科莱塔·萨巴迪尼,罗伯特·F·C·沃尔特斯:
在跨度（图形）中表示位置/过渡网络。 322-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Lesens97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Lesens97
大卫·莱森斯:
作为最大不动点的参数化二叉树网络的不变量。 337-350
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/LevyS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/LevyS97
妮可·莱维,珍妮·苏奎尔:
用逐次逼近法构建模型规范。 351-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/LimetS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/LimetS97
塞巴斯蒂安酸橙,弗雷德里克·索比昂:
逻辑程序的部分验证。 365-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/LopesF97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/LopesF97
安托尼亚·洛佩斯,何塞·路易斯·菲亚德罗:
规范中的保存和反思。 380-394
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Paige97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Paige97
理查德·佩奇:
使用元方法进行形式化方法集成的案例研究。 395-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/ParrowV97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/ParrowV97
约阿希姆·帕罗,比约恩·维克多:
更新微积分（扩展抽象）。 409-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/PiessensS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/PiessensS97
弗兰克·皮森斯,埃里克·斯蒂格曼斯:
类别数据规范的选择性属性消除。第424页至第436页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/RajanF97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/RajanF97
Sreeranga P.Rajan公司,藤田正弘:
ATM交换机设计：参数化高层建模和形式化验证。 437-450
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Schonegge97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Schonegge97网址
阿诺·舍内格:
重新审视隐藏函数问题。 451-464
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/SernadasSC97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/SernadasSC97
Amílcar Sernadas公司,克里斯蒂娜·塞尔纳达斯,卡洛斯·卡莱罗:
逻辑与混合规则的同步：完整性保持。 465-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/ShanklandT97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/ShanklandT97
卡伦·桑克兰,莫菲·托马斯:
完整LOTOS的符号双模拟。 479年至493年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/SimonsS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/SimonsS97
马丁·西蒙斯,米歇尔·辛佐夫:
代数合成和证明的精化。 494-508
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/TelfordT97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/TelfordT97
阿拉斯泰尔·特尔福德,大卫·特纳:
确保水流。 509-523
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/UlidowskiY97文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/UlidowskiY97网址
伊雷克·乌利多夫斯基,袁绍基（Shoji Yuen）:
随时间扩展过程语言。 524-538
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/WangH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/WangH97
Farn Wang公司,保安兴:
计算机系统的参数分析。 539至553

系统和工具演示

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/AlmeidaBNO97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/AlmeidaBNO97
何塞·若昂·阿尔梅达,路易斯·索尔斯·巴博萨,F.路易斯·内维斯,何塞·努诺·奥利维拉:
CAMILA：建造规范的原型和改进。 554-559
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Buth97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Buth97
贝蒂娜·布斯:
帕梅拉+PVS。 560-562
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/CeroneCM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/CeroneCM97
安东尼奥·塞隆,亚历克斯·J·考伊,乔治·米尔恩:
流通系统。 563-564年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/戴维斯97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Davies97
罗文·戴维斯:
标准ML的改进型检查器。 565-566
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/格兰迪L97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/GrundyL97
吉姆·格兰迪,托马斯·朗巴卡:
以结构化可浏览格式录制HOL校对。 567-571
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Low97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Low97
C.K.低:
使用IDaF分析多代理系统跟踪。 572-573
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/OzolsEC97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/OzolsEC97
玛丽斯·奥佐尔斯,凯瑟琳·伊斯塔夫,安东尼·坎特:
鸽子：面向设计的验证和评估工具。 574-575
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/罗宾逊97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/罗宾逊97
罗宾森:
B方法和B工具包。 576至580
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/RusHWK97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/RusHWK97
特奥多尔·罗斯,汤姆·哈尔弗森,埃里克·范·怀克,罗伯特·古艾玛:
代数语言处理环境。 581-585
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Traynor香港MNW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/TraynorHKMNW97
欧文·特雷纳,丹尼尔·黑泽尔,彼得·卡尼,安德鲁·马丁,雷·尼克森,卢克·威尔德曼:
科吉托开发系统。 586-591

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。