Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

9
(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

2007 ◽  
pp. 413-438 ◽  
Author(s):  
Christie Marr (née Bolton)

Lifting General Correctness into Partial Correctness is ok

2007 ◽  
pp. 215-232 ◽  
Author(s):  
Steve Dunne ◽  
Andy Galloway
Keyword(s):  
Partial Correctness

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

2007 ◽  
pp. 233-252 ◽  
Author(s):  
Johannes Faber ◽  
Swen Jacobs ◽  
Viorica Sofronie-Stokkermans
Keyword(s):  
Complex Data ◽  
Data Types

scholarly journals Unifying Theories of Objects

2007 ◽  
pp. 599-618 ◽  
Author(s):  
Michael Anthony Smith ◽  
Jeremy Gibbons

Combining Mobility with State

2007 ◽  
pp. 373-392 ◽  
Author(s):  
Damien Karkinsky ◽  
Steve Schneider ◽  
Helen Treharne

UTP Semantics for Web Services

2007 ◽  
pp. 353-372 ◽  
Author(s):  
He Jifeng
Keyword(s):  
Web Services

scholarly journals Qualitative Probabilistic Modelling in Event-B

2007 ◽  
pp. 293-312 ◽  
Author(s):  
Stefan Hallerstede ◽  
Thai Son Hoang
Keyword(s):  
Probabilistic Modelling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document