掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Symposium on Formal Methods Europe
International Symposium on Formal Methods Europe
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions
机译:
错误的自然历史:使用正式方法来分析太空任务中的软件相关失败
作者:
C.W. Johnson
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
2.
Timing Tolerances in Safety-Critical Software
机译:
安全关键软件中的定时容差
作者:
Alan Wassyng
;
Mark Lawford
;
Xiayong Hu
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
safety-critical;
real-time;
timing tolerances;
requirements;
3.
Formally Defining and Verifying Master/Slave Speculative Parallelization
机译:
正式定义和验证大师/奴隶推测性并行化
作者:
Pierre Salverda
;
Grigore Rosu
;
Craig Zilles
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
4.
On Some Galois Connection Based Abstractions for the Mu-Calculus
机译:
在一些基于Galois连接的MU - 微积分的抽象
作者:
Dragan Bosnacki
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
abstraction;
property preservation;
mu-calculus;
model checking;
5.
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
机译:
修补钱包:有限序列号,塔图案
作者:
Richard Banach
;
Michael Poppleton
;
Czeslaw Jeske
;
Susan Stepney
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
6.
Verifying Scenario-Based Aspect Specifications
机译:
验证基于方案的方面规范
作者:
Emilia Katz
;
Shmuel Katz
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
aspects;
scenarios;
model-checking;
conformance;
convenient executions;
7.
On Partitioning and Symbolic Model Checking
机译:
关于分区和符号模型检查
作者:
Subramanian Iyer
;
Debashis Sahoo
;
E. Allen Emerson
;
Jawahar Jain
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
symbolic model checking;
BDD;
state partitioning;
CTL;
8.
Semantics of BPEL4WS-Like Fault and Compensation Handling
机译:
BPEL4WS样故障和补偿处理的语义
作者:
Zongyan Qiu
;
Shuling Wang
;
Geguang Pu
;
Xiangpeng Zhao
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
business process;
language;
semantics;
BPEL4WS;
compensation handling;
fault handling;
9.
Controlling Object Allocation Using Creation Guards
机译:
使用创建后卫控制对象分配
作者:
Cees Pierik
;
Dave Clarke
;
Frank S. de Boer
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
invariants;
object allocation;
specification;
verification;
object-oriented programming;
10.
Symbolic Animation of JML Specifications
机译:
JML规范的符号动画
作者:
Fabrice Bouquet
;
Frederic Dadeau
;
Bruno Legeard
;
Mark Utting
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
java modeling language;
JML;
model-based;
object-oriented;
symbolic animation;
11.
Certified Memory Usage Analysis
机译:
认证内存使用量分析
作者:
David Cachera
;
Thomas Jensen
;
David Pichardie
;
Gerardo Schneider
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
program analysis;
certified memory analysis;
theorem proving;
constraint solving;
12.
Operational Semantics for Model Checking Circus
机译:
用于模型检查马戏团的操作语义
作者:
Jim Woodcock
;
Ana Cavalcanti
;
Leonardo Freitas
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
13.
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
机译:
Degas Choreographer平台的端到端综合安全性和性能分析
作者:
Mikael Buchholtz
;
Stephen Gilmore
;
Valentin Haenel
;
Carlo Montangero
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
security analysis;
performance analysis;
process calculi;
UML;
14.
Automatic Symmetry Detection for Model Checking Using Computational Group Theory
机译:
计算组理论模型检查的自动对称性检测
作者:
A.F. Donaldson
;
A. Miller
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
promela/SPIN;
symmetry reduction;
model checking;
communicating processes;
distributed systems;
formal modelling;
GAP;
concurrency;
15.
Synthesis of Distributed Processes from Scenario-Based Specifications
机译:
从基于场景的规格综合分布式过程
作者:
Jun Sun
;
Jin Song Dong
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
LSC;
CSP;
synthesis;
16.
Adding Conflict and Confusion to CSP
机译:
为CSP添加冲突和混淆
作者:
Christie Bolton
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
true concurrency;
interleaving concurrency;
petri nets;
CSP;
conflict;
confusion;
automatic verification;
17.
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems
机译:
用于验证反应系统安全性能的自动验证和一致性测试
作者:
Vlad Rusu
;
Herve Marchand
;
Thierry Jeron
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
verification;
conformance testing;
symbolic test generation;
18.
Dynamic Component Substitutability Analysis
机译:
动态分量可替代性分析
作者:
Natasha Sharygina
;
Sagar Chaki
;
Edmund Clarke
;
Nishant Sinha
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
software model checking;
verification of evolving software;
learning regular sets;
assume/guarantee reasoning;
19.
Timed Testing with TorX
机译:
TORX定时测试
作者:
Henrik Bohnenkamp
;
Axel Belinfante
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
model-based on-the-fly testing;
timed automata;
real-time testing;
TonX;
tools;
20.
Combining CSP and B for Specification and Property Verification
机译:
结合CSP和B进行规范和财产验证
作者:
Michael Butler
;
Michael Leuschel
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
B-method;
tool support;
model checking;
animation;
logic programming;
constraints;
21.
A Formal Model of Addressing for Interoperating Networks
机译:
用于互操作网络的正式模型
作者:
Pamela Zave
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
networks;
network design;
network requirements;
alloy;
22.
Control Law Diagrams in Circus
机译:
对马戏团的控制法律图
作者:
Ana Cavalcanti
;
Phil Clayton
;
Colin OHalloran
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
Z;
CSP;
simulink;
refinement;
23.
Modular Verification of Static Class Invariants
机译:
模块化验证静态类不变
作者:
K. Rustan M. Leino
;
Peter Mueller
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
static class invariant;
verification;
object-oriented programming;
static field;
24.
An MDA Approach Towards Integrating Formal and Informal Modeling Languages
机译:
一种整合正式和非正式建模语言的MDA方法
作者:
Soon-Kyeong Kim
;
Damian Burger
;
David Carrington
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
25.
Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs
机译:
概率方案中成本基于成本的组成规范和分析
作者:
Orieta Celiku
;
Annabelle McIver
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
26.
Systematic Implementation of Real-Time Models
机译:
系统执行实时模型
作者:
Martin De Wulf
;
Laurent Doyen
;
Jean-Francois Raskin
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
27.
Verification of a Signature Architecture with HOL-Z
机译:
使用HOL-Z验证签名架构
作者:
David Basin
;
Hironobu Kuruma
;
Kazuo Takaragi
;
Burkhart Wolff
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
28.
Decoupling in Object Orientation
机译:
在对象方向上耦合
作者:
Ioannis T. Kassios
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
object orientation;
specification and refinement;
29.
Semantics of BPEL4WS-Lifce Fault and Compensation Handling
机译:
BPEL4WS-LIFCE故障和补偿处理的语义
作者:
Zongyan Qiu
;
Shilling Wang
;
Geguang Pu
;
Xiangpeng Zhao
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
Business Process;
Language;
Semantics;
BPEL4WS;
Compensation handling;
Fault handling;
30.
Strategic Term Rewriting and Its Application to a VDM-SL to SQL Conversion
机译:
战略术语重写及其在VDM-SL到SQL转换的应用程序
作者:
T.L. Alves
;
P.F. Silva
;
J. Visser
;
J.N. Oliveira
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
strategic term rewriting;
program calculation;
VDM;
SQL;
31.
Formal Verification of Security Properties of Smart Card Embedded Source Code
机译:
智能卡嵌入式源代码的安全性质正式验证
作者:
June Andronick
;
Boutheina Chetali
;
Christine Paulin-Mohring
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
theorem proving;
smart card;
security;
source code verification;
formal methods;
32.
An Approach to Unfolding Asynchronous Communication Protocols
机译:
一种展开异步通信协议的方法
作者:
Yu Lei
;
S. Purushothaman Iyer
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
关键词:
software verification;
state space search;
unfolding;
EFSM;
33.
Model-Checking of Specifications Integrating Processes, Data and Time
机译:
模型检查规范集成流程,数据和时间
作者:
Jochen Hoenicke
;
Patrick Maier
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
34.
Formal Methods and Testing: Hypotheses, and Correctness Approximations
机译:
正式方法和测试:假设,以及正确性近似
作者:
Marie-Claude Gaudel
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
35.
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications
机译:
案例研究的初步结果:高级汽车应用的模型检查
作者:
Stefan Eisler
;
Christian Scheidler
;
Bernhard Josko
;
Guido Sandmann
;
Joachim Stroop
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
36.
ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software
机译:
ASD案例说明:将正式方法应用于工业控制软件的成本和益处
作者:
Guy H. Broadfoot
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
37.
Model-Based Testing in Practice
机译:
基于模型的实践测试
作者:
Alexander Pretschner
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
38.
The Informal Nature of Systems Engineering
机译:
系统工程的非正式性质
作者:
Gerrit Muller
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
39.
Floating-Point Verification
机译:
浮点验证
作者:
John Harrison
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
40.
Testing Concurrent Object-Oriented Systems with Spec Explorer Extended Abstract
机译:
使用SPEC Explorer扩展摘要测试并发面向对象的系统
作者:
Colin Campbell
;
Wolfgang Grieskamp
;
Lev Nachmanson
;
Wolfram Schulte
;
Nikolai Tillmann
;
Margus Veanes
会议名称:
《International Symposium on Formal Methods Europe》
|
2005年
意见反馈
回到顶部
回到首页