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

9783540732099, 9783540732105

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Capturing Conflict and Confusion in CSP

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_22 ◽

2007 ◽

pp. 413-438 ◽

Cited By ~ 3

Author(s):

Christie Marr (née Bolton)

Download Full-text

Lifting General Correctness into Partial Correctness is ok

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_12 ◽

2007 ◽

pp. 215-232 ◽

Cited By ~ 2

Author(s):

Steve Dunne ◽

Andy Galloway

Keyword(s):

Partial Correctness

Download Full-text

Slicing Concurrent Real-Time System Specifications for Verification

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_4 ◽

2007 ◽

pp. 54-74 ◽

Cited By ~ 1

Author(s):

Ingo Brückner

Keyword(s):

Real Time ◽

Time System ◽

Real Time System

Download Full-text

Decomposing Integrated Specifications for Verification

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_24 ◽

2007 ◽

pp. 459-479

Author(s):

Björn Metzler

Download Full-text

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_13 ◽

2007 ◽

pp. 233-252 ◽

Cited By ~ 11

Author(s):

Johannes Faber ◽

Swen Jacobs ◽

Viorica Sofronie-Stokkermans

Keyword(s):

Complex Data ◽

Data Types

Download Full-text

Unifying Theories of Objects

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_31 ◽

2007 ◽

pp. 599-618 ◽

Cited By ~ 2

Author(s):

Michael Anthony Smith ◽

Jeremy Gibbons

Download Full-text

Non-interference Properties for Data-Type Reduction of Communicating Systems

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_32 ◽

2007 ◽

pp. 619-638 ◽

Cited By ~ 1

Author(s):

Tobe Toben

Keyword(s):

Data Type ◽

Type Reduction

Download Full-text

Combining Mobility with State

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_20 ◽

2007 ◽

pp. 373-392 ◽

Cited By ~ 1

Author(s):

Damien Karkinsky ◽

Steve Schneider ◽

Helen Treharne

Download Full-text

UTP Semantics for Web Services

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_19 ◽

2007 ◽

pp. 353-372 ◽

Cited By ~ 3

Author(s):

He Jifeng

Keyword(s):

Web Services

Download Full-text

Qualitative Probabilistic Modelling in Event-B

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-73210-5_16 ◽

2007 ◽

pp. 293-312 ◽

Cited By ~ 19

Author(s):

Stefan Hallerstede ◽

Thai Son Hoang

Keyword(s):

Probabilistic Modelling

Download Full-text

Lecture Notes in Computer Science - Integrated Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Capturing Conflict and Confusion in CSP

Lifting General Correctness into Partial Correctness is ok

Slicing Concurrent Real-Time System Specifications for Verification

Decomposing Integrated Specifications for Verification

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

Unifying Theories of Objects

Non-interference Properties for Data-Type Reduction of Communicating Systems

Combining Mobility with State

UTP Semantics for Web Services

Qualitative Probabilistic Modelling in Event-B

Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications