首页>外文会议>其他>Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems

Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Expansive-Bisimulation for Context-Free Processes

机译：无背景流程的膨胀性分布
- 作者：Xinxin Liu
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
2.Expansive-Bisimulation for Context-Free Processes

机译：无背景流程的膨胀性分布
- 作者：Xinxin Liu
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
3.Semantics and Verification of a Language for Modelling Hardware Architectures

机译：用于建模硬件架构的语言的语义和验证
- 作者：Michael R. Hansen;Jan Madsen;Aske Wiid Brekling
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- hardware descriptions;
- semantics;
- verification;
- model-checking;
4.Specification for Testing

机译：测试规范
- 作者：Chris George;Padmanabhan Krishnan;P. A. P. Salas;J. W. Sanders
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
5.A Denotational Semantics for Handel-C

机译：亨德尔-C的一个表示语义
- 作者：Andrew Butterfield
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
6.Deriving Specifications for Systems That Are Connected to the Physical World

机译：导出连接到物理世界的系统的规范
- 作者：Cliff B. Jones;Ian J. Hayes;Michael A. Jackson
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
7.Deriving Specifications for Systems That Are Connected to the Physical World

机译：导出连接到物理世界的系统的规范
- 作者：Cliff B. Jones;Ian J. Hayes;Michael A. Jackson
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
8.A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems

机译：一种面向领域的基于模型的建筑和验证铁路控制系统的方法
- 作者：Anne E. Haxthausen;Jan Peleska
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- Domain engineering;
- Domain-specific languages;
- Code generation;
- Formal methods;
- Verification;
- Railway control systems;
9.Formal Approach to Railway Applications

机译：铁路应用的正式方法
- 作者：Martin Penicka
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- Railways;
- Planning;
- Timetabling;
- Rostering;
- Control;
- Interlocking;
- Signalling;
- Technique Integration;
10.Specification for Testing

机译：测试规范
- 作者：Chris George;Padmanabhan Krishnan;P.A.P. Salas;J.W. Sanders
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
11.Harnessing rCOS for Tool Support - The CoCoME Experience

机译：利用RCO的工具支持 - 通勤体验
- 作者：Zhenbang Chen;Xiaoshan Li;Zhiming Liu;Volker Stolz;Lu Yang
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- Software development tool;
- Software process;
- Formal methods;
- Tool design;
12.From 'Formal Methods' to System Modeling

机译：从“正式方法”到系统建模
- 作者：Manfred Broy
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
13.A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems

机译：一种面向领域的基于模型的建筑和验证铁路控制系统的方法
- 作者：Anne E. Haxthausen;Jan Peleska
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- domain engineering;
- domain-specific languages;
- code generation;
- formal methods;
- verification;
- railway control systems;
14.A Denotational Semantics for Handel-C

机译：亨德尔-C的一个表示语义
- 作者：Andrew Butterfield
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
15.Semantics and Verification of a Language for Modelling Hardware Architectures

机译：用于建模硬件架构的语言的语义和验证
- 作者：Michael R. Hansen;Jan Madsen;Aske Wiid Brekling
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- Hardware descriptions;
- Semantics;
- Verification;
- Model-checking;
16.Harnessing rCOS for Tool Support -The CoCoME Experience

机译：利用RCOS进行工具支持 - 通勤体验
- 作者：Zhenbang Chen;Xiaoshan Li;Zhiming Liu;Volker Stolz;Lu Yang
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- software development tool;
- software process;
- formal methods;
- tool design;
17.Formal Approach to Railway Applications

机译：铁路应用的正式方法
- 作者：Martin Penicka
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- railways;
- planning;
- timetabling;
- rostering;
- control;
- interlocking;
- signalling;
- technique integration;
18.Programmable Messaging for Electronic Government - Building a Foundation

机译：电子政务的可编程消息 - 建立一个基础
- 作者：Elsa Estevez;Tomasz Janowski
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- electronic government;
- asynchronous messaging;
- messaging middleware;
- domain specific languages;
- software specification;
19.From 'Formal Methods' to System Modeling

机译：从“正式方法”到系统建模
- 作者：Manfred Broy
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
20.Programmable Messaging for Electronic Government - Building a Foundation

机译：电子政务的可编程消息 - 建立一个基础
- 作者：Elsa Estevez;Tomasz Janowski
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- Electronic Government;
- Asynchronous Messaging;
- Messaging Middleware;
- Domain Specific Languages;
- Software Specification;
21.Balancing Insight and Effort: The Industrial Uptake of Formal Methods

机译：平衡洞察力和努力：正式方法的工业吸收
- 作者：John Fitzgerald;Peter Gorm Larsen
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
22.Models and Software Model Checking of a Distributed File Replication System

机译：分布式文件复制系统的模型和软件模型检查
- 作者：Nikolaj Bjorner
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
23.Design Verification Patterns

机译：设计验证模式
- 作者：John Knudsen;Anders P. Ravn;Arne Skou
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
24.Design in CommUnity with Extension Morphisms

机译：扩展态度的社区设计
- 作者：Xiang Ling;Tom Maibaum;Nazareno Aguirre
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
25.Generating Polynomial Invariants with DISCOVERER and QEPCAD

机译：使用Discoverer和Qepcad生成多项式不变性
- 作者：Yinghua Chen;Bican Xia;Lu Yang;Naijun Zhan
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- program verification;
- invariant generation;
- polynomial programs;
- semi-algebraic systems;
- quantifier elimination;
- DISCOVERER;
- QEPCAD;
26.Services as a Paradigm of Computation

机译：服务作为计算范例
- 作者：Wolfgang Reisig;Jan Bretschneider;Dirk Fahland;Niels Lohmann;Peter Massuthe;Christian Stahl
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- Models of computation;
- Services;
- SOA;
- Open workflow nets;
27.On Revival of Algol-Concepts in Modern Programming and Specification Languages

机译：论现代编程和规格语言中的Algol-Concepts的复兴
- 作者：Hans Langmaack
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- Programming language;
- Algol;
- Java;
- Block concept;
- Formal procedure;
- Class;
- Object;
- Structural simulation;
- Specification language;
- Abstract State Machine ASM;
- Recursive procedure and rule;
- Semantics;
- Verification;
28.Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

机译：用持续时间微积分指定具有时间命题变量的各种时间模型
- 作者：Dang Van Hung
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
29.Models and Software Model Checking of a Distributed File Replication System

机译：分布式文件复制系统的模型和软件模型检查
- 作者：Nikolaj Bjorner
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
30.Relating Domain Concepts Intensionally by Ordering Connections

机译：通过订购连接，联系域概念
- 作者：Asger Eir
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
31.VDM Semantics of Programming Languages: Combinators and Monads

机译：编程语言的VDM语义：组合者和MONADS
- 作者：Peter D. Mosses
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
32.Proving Theorems About JML Classes

机译：证明了关于JML类的定理
- 作者：Leo Freitas;Jim Woodcock
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
33.Automating Verification of Cooperation, Control, and Design in Traffic Applications

机译：自动验证交通应用中的合作，控制和设计
- 作者：Werner Damm;Alfred Mikschl;Jens Oehlerking;Ernst-Rudiger Olderog;Jun Pang;Andre Platzer;Marc Segelken;Boris Wirtz
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
34.Design in Community with Extension Morphisms

机译：扩展态度的社区设计
- 作者：Xiang Ling;Tom Maibaum;Nazareno Aguirre
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
35.Compensable Programs

机译：可赔项计划
- 作者：He Jifeng
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
36.Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

机译：用持续时间微积分指定具有时间命题变量的各种时间模型
- 作者：Dang Van Hung
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
37.VDM Semantics of Programming Languages: Combinators and Monads

机译：编程语言的VDM语义：组合者和MONADS
- 作者：Peter D. Mosses
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
38.Proving Theorems About JML Classes

机译：证明了关于JML类的定理
- 作者：Leo Freitas;Jim Woodcock
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
39.Design Verification Patterns

机译：设计验证模式
- 作者：John Knudsen;Anders P. Ravn;Arne Skou
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
40.Compensable Programs

机译：可赔项计划
- 作者：He Jifeng
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
41.Services as a Paradigm of Computation

机译：服务作为计算范例
- 作者：Wolfgang Reisig;Jan Bretschneider;Dirk Fahland;Niels Lohmann;Peter Massuthe;Christian Stahl
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- models of computation;
- services;
- SOA;
- open workflow nets;
42.Generating Polynomial Invariants with DISCOVERER and QEPCAD

机译：使用Discoverer和Qepcad生成多项式不变性
- 作者：Yinghua Chen;Bican Xia;Lu Yang;Naijun Zhan
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- Program Verification;
- Invariant Generation;
- Polynomial Programs;
- Semi-Algebraic Systems;
- Quantifier Elimination;
- DISCOVERER;
- QEPCAD;
43.Automating Verification of Cooperation, Control, and Design in Traffic Applications

机译：自动验证交通应用中的合作，控制和设计
- 作者：Werner Damm;Alfred Mikschl;Jens Oehlerking;Ernst-Ruediger Olderog;Jun Pang;Andre Platzer;Marc Segelken;Boris Wirtz
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
44.Relating Domain Concepts Intensionally by Ordering Connections

机译：通过订购连接，联系域概念
- 作者：Asger Eir
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
45.On Revival of Algol-Concepts in Modern Programming and Specification Languages

机译：论现代编程和规格语言中的Algol-Concepts的复兴
- 作者：Hans Langmaack
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
- programming language;
- algol;
- java;
- block concept;
- formal procedure;
- class;
- object;
- structural simulation;
- specification language;
- abstract state machine ASM;
- recursive procedure and rule;
- semantics;
- verification;
46.Balancing Insight and Effort: The Industrial Uptake of Formal Methods

机译：平衡洞察力和努力：正式方法的工业吸收
- 作者：John Fitzgerald;Peter Gorm Larsen
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
47.Symbolic Test Generation Using a Temporal Logic with Constrained Events

机译：使用带有约束事件的时间逻辑的符号测试生成
- 作者：Daguang Liu;Peng Wu;Huimin Lin
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
48.Symbolic Test Generation Using a Temporal Logic with Constrained Events

机译：使用带有约束事件的时间逻辑的符号测试生成
- 作者：Daguang Liu;Peng Wu;Huimin Lin
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
49.Engineering the Development of Embedded Systems

机译：工程嵌入式系统的开发
- 作者：Mathai Joseph
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年
50.Engineering the Development of Embedded Systems

机译：工程嵌入式系统的开发
- 作者：Mathai Joseph
- 会议名称：《Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems》 | 2007年