Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540437031, 9783540478843

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Framework for Translating Models and Specifications

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_9 ◽

2002 ◽

pp. 145-164 ◽

Cited By ~ 9

Author(s):

Shmuel Katz ◽

Orna Grumberg

Download Full-text

The Design of a Tool-Supported Graphical Notation for Timed CSP

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_17 ◽

2002 ◽

pp. 299-318 ◽

Cited By ~ 2

Author(s):

Phillip J. Brooke ◽

Richard F. Paige

Keyword(s):

Graphical Notation ◽

Timed Csp

Download Full-text

Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_20 ◽

2002 ◽

pp. 360-379 ◽

Cited By ~ 6

Author(s):

Héctor Ruíz Barradas ◽

Didier Bert

Keyword(s):

Event Systems ◽

Liveness Properties

Download Full-text

Translating Statecharts to B

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_8 ◽

2002 ◽

pp. 128-144 ◽

Cited By ~ 15

Author(s):

Emil Sekerinski ◽

Rafik Zurob

Download Full-text

Combining Graphical and Formal Development of Open Distributed Systems

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_18 ◽

2002 ◽

pp. 319-338 ◽

Cited By ~ 1

Author(s):

Einar B. Johnsen ◽

Wenhui Zhang ◽

Olaf Owe ◽

Demissie B. Aredo

Keyword(s):

Distributed Systems ◽

Formal Development ◽

Open Distributed Systems

Download Full-text

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_11 ◽

2002 ◽

pp. 185-204 ◽

Cited By ~ 4

Author(s):

Behzad Akbarpour ◽

Abdelkader Dekdouk ◽

Sofiène Tahar

Keyword(s):

Fixed Point ◽

Fixed Point Arithmetic ◽

Point Arithmetic

Download Full-text

Rhapsody: A Complete Life-Cycle Model-Based Development System

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_1 ◽

2002 ◽

pp. 1-10 ◽

Cited By ~ 31

Author(s):

Eran Gery ◽

David Harel ◽

Eldad Palachi

Keyword(s):

Life Cycle ◽

Life Cycle Model ◽

Cycle Model ◽

Development System ◽

Model Based ◽

Complete Life Cycle

Download Full-text

Combining Specification Techniques for Processes, Data and Time

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_14 ◽

2002 ◽

pp. 245-266 ◽

Cited By ~ 18

Author(s):

Jochen Hoenicke ◽

Ernst-Rüdiger Olderog

Keyword(s):

Specification Techniques

Download Full-text

Stochastic Process Algebras Meet Eden

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_3 ◽

2002 ◽

pp. 29-48 ◽

Cited By ~ 2

Author(s):

Natalia López ◽

Manuel Núñez ◽

Fernando Rubio

Keyword(s):

Stochastic Process ◽

Process Algebras ◽

Stochastic Process Algebras

Download Full-text

Minimally and Maximally Abstract Retrenchments

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_21 ◽

2002 ◽

pp. 380-399 ◽

Cited By ~ 1

Author(s):

C. Jeske ◽

R. Banach

Download Full-text

Lecture Notes in Computer Science - Integrated Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Framework for Translating Models and Specifications

The Design of a Tool-Supported Graphical Notation for Timed CSP

Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems

Translating Statecharts to B

Combining Graphical and Formal Development of Open Distributed Systems

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL

Rhapsody: A Complete Life-Cycle Model-Based Development System

Combining Specification Techniques for Processes, Data and Time

Stochastic Process Algebras Meet Eden

Minimally and Maximally Abstract Retrenchments

Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications