FME 2003: Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540408284, 9783540452362

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_35 ◽

2003 ◽

pp. 636-657 ◽

Cited By ~ 2

Author(s):

Pascal Fenkam ◽

Harald Gall ◽

Mehdi Jazayeri

Keyword(s):

Event Based

Download Full-text

On Failures and Faults

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_3 ◽

2003 ◽

pp. 18-39 ◽

Cited By ~ 5

Author(s):

Brian Randell

Download Full-text

A Formal Framework for Modular Synchronous System Design

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_27 ◽

2003 ◽

pp. 482-502 ◽

Cited By ~ 1

Author(s):

Maria-Cristina V. Marinescu ◽

Martin C. Rinard

Keyword(s):

System Design ◽

Synchronous System ◽

Formal Framework

Download Full-text

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_26 ◽

2003 ◽

pp. 462-481 ◽

Cited By ~ 1

Author(s):

Marc Lettrari

Keyword(s):

State Space ◽

Space Exploration ◽

Object Oriented ◽

Object Oriented Systems ◽

State Space Exploration

Download Full-text

Composing Invariants

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_23 ◽

2003 ◽

pp. 401-421 ◽

Cited By ~ 6

Author(s):

Michel Charpentier

Download Full-text

Compositional Verification of an ATM Protocol

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_14 ◽

2003 ◽

pp. 223-243

Author(s):

Vlad Rusu

Keyword(s):

Compositional Verification

Download Full-text

Looking Back to the Future

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_1 ◽

2003 ◽

pp. 1-6

Author(s):

Kouichi Kishida

Keyword(s):

The Future ◽

Looking Back

Download Full-text

Watchdog Transformations for Property-Oriented Model-Checking

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_33 ◽

2003 ◽

pp. 600-616 ◽

Cited By ~ 8

Author(s):

Michael Goldsmith ◽

Nick Moffat ◽

Bill Roscoe ◽

Tim Whitworth ◽

Irfan Zakiuddin

Keyword(s):

Model Checking

Download Full-text

Proving the Shalls

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_6 ◽

2003 ◽

pp. 75-93 ◽

Cited By ~ 12

Author(s):

Steven P. Miller ◽

Alan C. Tribble ◽

Mats P. E. Heimdahl

Download Full-text

Improving Safety Assessment of Complex Systems: An Industrial Case Study

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_13 ◽

2003 ◽

pp. 208-222 ◽

Cited By ~ 26

Author(s):

Marco Bozzano ◽

Antonella Cavallo ◽

Massimo Cifaldi ◽

Laura Valacca ◽

Adolfo Villafiorita

Keyword(s):

Complex Systems ◽

Safety Assessment ◽

Industrial Case Study

Download Full-text

FME 2003: Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach

On Failures and Faults

A Formal Framework for Modular Synchronous System Design

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems

Composing Invariants

Compositional Verification of an ATM Protocol

Looking Back to the Future

Watchdog Transformations for Property-Oriented Model-Checking

Proving the Shalls

Improving Safety Assessment of Complex Systems: An Industrial Case Study

FME 2003: Formal Methods - Lecture Notes in Computer Science
Latest Publications