FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540635338, 9783540695936

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

TLA + PROMELA: Conjecture, check, proof

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_20 ◽

1997 ◽

pp. 378-397

Author(s):

J. -Ch. Grégoire

Download Full-text

A UNITY mapping operator for distributed programs

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_35 ◽

1997 ◽

pp. 665-684 ◽

Cited By ~ 4

Author(s):

Michel Charpentier

Keyword(s):

Distributed Programs

Download Full-text

A timed semantics for the StateMate implementation of statecharts

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_29 ◽

1997 ◽

pp. 553-572 ◽

Cited By ~ 4

Author(s):

Carsta Petersohn ◽

Luis Urbina

Download Full-text

Viewpoint consistency in Z and LOTOS: A case study

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_34 ◽

1997 ◽

pp. 644-664 ◽

Cited By ~ 11

Author(s):

Eerke Boiten ◽

Howard Bowman ◽

John Derrick ◽

Maarten Steen

Download Full-text

Mathematical modeling and analysis of an external memory manager

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_13 ◽

1997 ◽

pp. 237-257 ◽

Cited By ~ 2

Author(s):

William D. Young ◽

William R. Bevier

Keyword(s):

Mathematical Modeling ◽

External Memory ◽

Modeling And Analysis

Download Full-text

Automatic translation of VDM-SL specifications into gofer

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_14 ◽

1997 ◽

pp. 258-277

Author(s):

Paul Mukherjee

Keyword(s):

Automatic Translation

Download Full-text

Diagrams and programming languages for programmable controllers

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_1 ◽

1997 ◽

pp. 1-19 ◽

Cited By ~ 1

Author(s):

Stuart Anderson ◽

Konstantinos Tourlas

Keyword(s):

Programming Languages

Download Full-text

Graphical specification and reasoning: Case study generalised railroad crossing

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_2 ◽

1997 ◽

pp. 20-39 ◽

Cited By ~ 5

Author(s):

Henning Dierks ◽

Cheryl Dietz

Download Full-text

A corrected failure-divergence model for CSP in Isabelle/HOL

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_17 ◽

1997 ◽

pp. 318-337 ◽

Cited By ~ 27

Author(s):

H. Tej ◽

B. Wolff

Download Full-text

A proof obligation generator for VDM-SL

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-63533-5_18 ◽

1997 ◽

pp. 338-357 ◽

Cited By ~ 14

Author(s):

Bernhard K. Aichernig ◽

Peter Gorm Larsenz

Keyword(s):

Proof Obligation

Download Full-text

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

TLA + PROMELA: Conjecture, check, proof

A UNITY mapping operator for distributed programs

A timed semantics for the StateMate implementation of statecharts

Viewpoint consistency in Z and LOTOS: A case study

Mathematical modeling and analysis of an external memory manager

Automatic translation of VDM-SL specifications into gofer

Diagrams and programming languages for programmable controllers

Graphical specification and reasoning: Case study generalised railroad crossing

A corrected failure-divergence model for CSP in Isabelle/HOL

A proof obligation generator for VDM-SL

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods - Lecture Notes in Computer Science
Latest Publications