默认搜索操作

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

问别人

FM 1999：法国图卢兹，第2卷

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/1999-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/1999-2
珍妮特·温格（Jeannette M.Wing）,吉姆·伍德科克,吉姆·戴维斯:
FM'99：形式方法，世界计算系统开发形式方法大会，法国图卢兹，1999年9月20日至24日，会议记录，第二卷。计算机科学课堂讲稿1709,施普林格 1999，国际标准图书编号3-540-66588-9

系统规范基础（IFIP WG 1.3）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/PoizatCR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/PoizatCR99
帕斯卡·波扎特,克莉丝汀·肖比,Jean-Claude Royer女士:
从非正式需求到COOP：一种并发自动机方法。 939-962
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/语言LL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LangLL99
弗雷德里克·朗,皮埃尔·莱斯坎,路易吉·利科里:
定义对象计算的框架。 963-982

欧洲软件理论与实践（ETAPS）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SeshiaSBD99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SeshiaSBD99
桑吉特·塞希亚,R.K.Shyamasundar先生,A.K.巴塔查吉,S.D.Dhodapkar公司:
将状态图翻译为Esterel。 983-1007
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/YongG99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/YongG99
夏勇,克里斯·乔治:
定时RAISE的操作语义。 1008-1027
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Wehrheim99号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Wehrheim99网址
海克·韦尔海姆:
CSP-OZ的数据抽象。 1028-1047
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/PolackS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/PolackS99
菲奥娜·波拉克,苏珊·斯蒂芬尼:
使用Z泛型进行系统开发。 1048-1067
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/AlexanderRB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AlexanderRB99
佩里·亚历山大,穆拉利·兰加拉扬,菲利普·巴拉奥纳:
VSPEC简介。 1068-1086
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LeavensB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LeavensB99
加里·利文斯,阿尔伯特·L·贝克:
加强前置和后置条件技术，以实现更具表现力的规范。 1087-1106

程序验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Muller-OlmW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Muller-OlmW99
马库斯·穆勒·奥尔姆,安德列斯·沃尔夫:
关于可原谅和不可原谅的失败。 1107-1127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/VerhoevenB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/VerhoevenB99
理查德·维霍文（Richard Verhoeven）,罗兰·卡尔·巴克豪斯:
接口程序的构建和验证。 1128-1146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DellacherieDL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DellacherieDL99
S.Dellacherie公司,塞缪尔·德沃德,珍妮·卢克·兰伯特:
基于线性规划的软件验证。 1147-1165

符号和技术的集成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MahonyD99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MahonyD99
布伦丹·P·马奥尼,金松洞:
TCOZ中的传感器和执行器。 1166-1185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Krieg-布鲁克纳POB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Krieg-BrucknerPOB99
伯恩德·克里格·布吕克纳,简·佩莱斯卡,Ernst-Rüdiger Olderog公司,亚历山大·贝尔:
UniForM工作台，一个用于形式化方法的通用开发环境。 1186-1205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SchatzH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SchatzH99
伯恩哈德·施瓦茨,弗兰兹·胡贝尔:
集成形式描述技术。 1206-1225

编程概念的形式化描述（IFIP WG 2.2）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Merz99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Merz99
斯蒂芬·默兹:
更完整的TLA。 1226-1244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BoerHR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BoerHR99
弗兰克·S·德·波尔,乌尔里希·汉内曼,威廉·德·罗弗:
共享变量并发依赖保证范式的形式化证明：一种语义方法。 1245-1265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Martin99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Martin99
安德鲁·马丁:
关联Z和一阶逻辑。 1266-1280

开放式信息系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SousaG99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SusaG99
乔·佩德罗·索萨,大卫·加兰:
企业JavaBean的形式化建模^TM公司组件集成框架。 1281-1300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MikhajlovSL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MikhajlovSL99
列奥尼德·米哈伊洛夫,埃米尔·塞克林斯基,利纳斯·莱比尼斯:
在Re-entrance的情况下开发组件。 1301-1320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Jonkers公司99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Jonkers99
H.B.M.Jonkers先生:
使用交互对象进行通信和同步。 1321-1342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Feijs99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Feijs99
Loe M.G.Feijs先生:
使用pi-Calculus对Microsoft COM进行建模。 1343-1363

协同设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SmarandacheGG99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SmarandacheGG99
伊琳娜·斯马兰达奇,蒂埃里·戈蒂埃,保罗·勒格尼奇:
基于时钟同步约束的仿射演算对混合信号-α实时系统的验证。 1364-1383
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Nadjm-TehraniA99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Nadjm-TehraniA99
西明·纳德杰姆·泰拉尼,奥维·科伦德:
同步设计中定理证明与连续模型的结合。 1384-1399
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/IyodaSS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/IyodaSS99
朱利安诺·伊奥达,奥古斯托·桑帕约,莱拉·席尔瓦:
ParTS：分区转换系统。 1400-1419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Jifeng99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Jifeng99
何继峰:
协同设计的行为模型。 1420-1438

精炼

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/CavalcantiN99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CavalcantiN99
安娜·卡瓦尔坎蒂,大卫·A·诺曼:
面向对象的精炼语言的最弱前提语义。 1439-1459
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BackMW99配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BackMW99
拉尔夫·约翰回来,安娜·米哈伊洛娃,约阿金·冯·赖特:
关于交互式系统的推理。 1460-1476
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/井架B99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DerrickB99
约翰·德里克,埃尔克·博伊滕:
Z中的非原子精炼。 1477-1496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HehnerG99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HehenerG99
埃里克·C·R·海纳,安德鲁·格雷维尔:
精炼语义和循环规则。 1497-1510

安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ChaudronTW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ChaudronTW99
米歇尔·乔德伦,简·特雷特曼,克拉斯·维杰布兰斯:
形式化方法在风暴潮屏障控制系统设计中的应用。 1511-1526
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/KingHCP99配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KingHCP99
斯蒂夫·金,乔纳森·哈蒙德,罗德里克·查普曼,安迪·普赖尔:
验证的价值：工业证明的积极经验。 1527-1545
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HaxthausenP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HaxthausenP99
安妮·哈克斯豪森,简·佩莱斯卡:
分布式铁路控制系统的正式开发和验证。 1546-1563
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SereT99配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SereT99
凯萨·塞雷,埃琳娜·特鲁比西纳:
正式规范中的安全分析。 1564-1583
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/CimattiPSTV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CimattiPSTV99
亚历山德罗·西马蒂,P.L.皮耶拉西尼,罗伯托·塞巴斯蒂亚尼,保罗·特拉弗索,阿道夫·维拉菲奥里塔:
重要通信协议的正式规范和验证。 1584-1604
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MarchandS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MarchandS99
埃尔维·马尔坎德,马赞·萨曼:
使用控制器综合方法的电力变电站控制器增量设计。 1605-1624

OBJ/OBJ咖啡馆/莫德

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MoriF99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MoriF99
森喜朗,Kokichi Futatsugi公司:
验证CafeOBJ环境中的行为规范。 1625-1643
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DiaconescuFI99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DiaconescuFI99
拉兹万·迪亚科内斯库,Kokichi Futatsugi公司,Shusaku Iida公司:
CafeOBJ中基于组件的代数规范与验证。 1644-1663
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Nakajima99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Nakajima99
Shin Nakajima先生:
在面向对象框架开发中使用代数规格说明技术。 1664-1683
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ClavelDEMS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ClavelDEMS99
曼纽尔·克莱维尔,弗朗西斯科·杜兰,史蒂文·艾克,何塞·梅塞盖尔,马克·奥利弗·斯特尔:
Maude作为正式的Meta-tool。 1684-1703
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/GoguenR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GoguenR99
约瑟夫·高根,格里戈·罗苏:
隐藏更多隐藏代数。 1704-1719

软件技术中的抽象状态机（ASM）和代数方法（AMAST）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Eschbach99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Eschbach99网址
罗伯特·埃什巴赫:
一种终止检测算法：规范和验证。 1720-1737
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/S99级
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/等级S99
埃里希·格拉德尔,马克·斯皮尔曼:
通过抽象状态机减少日志空间。 1738-1757
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/邓斯坦KML99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DunstanKML99
马丁·邓斯坦,汤姆·凯尔西,乌苏拉·马丁,史蒂夫·林顿:
CAS扩展的形式化方法。 1758-1777
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/JimenezO99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/JimenezO99
罗莎·吉梅内斯,费尔南多·奥雷贾斯:
高阶模的代数框架。 1778-1797

航空电子设备

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/RandimbivololonaSBPRS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/RandimbivololonaSBPRS99
Famantanatsoa Randimbivololona公司,让·苏伊里斯,帕特里克·鲍丁,安妮·帕卡莱,雅克·拉吉诺,多米尼克·肖恩:
将形式证明技术应用于航空电子软件：一种实用方法。 1798-1815
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/GarbettPSA99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GarbettPSA99
P.加贝特,J.P.帕克斯,迈克·沙克尔顿,斯图亚特·安德森:
代码的安全合成：过程改进实验。 1816-1835
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HainquePBN99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HainquePBN99
奥利维尔·海克,劳伦特·鲍特,Yann Le Biannic公司,埃里克·纳索尔:
Cronos：模块化Esterel应用程序的单独编译工具集。 1836-1853

正在进行的工作

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/KnightFH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KnightFH99
约翰·C·奈特,托马斯·弗莱彻,布莱恩·希克斯:
正式技术生产使用的工具支持。 1854
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DongMF99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DongMF99
金松洞,布伦丹·P·马奥尼,尼尔·富尔顿:
飞机任务计算机任务率建模。 1855
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HabriasPL99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HabriasPL99
亨利·哈布里亚斯,帕斯卡·波扎特,珍妮·伊夫·拉斐:
协作工作研究：对B语言形式规范测试的回答。 1856-1857
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/KellomakiM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KellomakiM99
佩蒂·凯洛马基,托米·米科宁:
时间逻辑中的存档设计步骤。 1858
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/税T99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LevyT99
米歇尔·利维,劳伦特·特里林:
一种基于PVS的教学方法，用于构建正确的迭代。 1859-1860
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Baumgarten公司99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Baumgarten99网址
伯恩德·鲍姆加滕:
规范理论的最小框架。 1861
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MacCollC99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MacCollC99
伊恩·麦克尔,大卫·A·卡林顿:
基于规范的交互式系统测试模型。 1862
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/OcicaI99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/OciaI99
奥西卡半径,丹·伊奥内斯库:
抽象语法符号1和CORBA IDL之间映射的代数方面。 1863
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BanachP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BanachP99
理查德·巴纳赫,迈克尔·波普莱顿:
后退。 1864-1865
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Moreira99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Moreira99
阿纳玛丽亚·马丁斯·莫雷拉:
组件泛化中的证据保存。 1866

行业经验

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HorsteS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HorsteS99
迈克尔·梅耶·祖·霍斯特,埃克哈德·施奈德:
使用Petri网对列车控制系统进行形式化建模和仿真。 1867
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HorlA99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HorlA99
约翰·赫尔,伯恩哈德·艾切里尼（Bernhard K.Aichernig）:
空中交通管制中使用的语音通信系统的形式规范。 1868
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ButhS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ButhS99
贝蒂娜·布斯,迈克·施罗宁:
铁路联锁系统故障安全通信系统结构设计的模型检验。 1869
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Droschl99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Droschl99
格奥尔格·德罗施:
使用VDMTools和PVS分析访问控制的需求。 1870
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/AkhianiDHLSTY99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AkhianiDHLSTY99
霍马约恩·阿基亚尼,达米安·多利盖兹,保罗·哈特,莱斯利·兰伯特,约书亚·夏伊德,马克·塔特尔,袁宇:
使用TLA+进行缓存一致性验证。 1871-1872

管理网站设置

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