IFM’99
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer London

9781852331078, 9781447108511
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Retrenchment and Punctured Simulation

IFM’99 ◽  
1999 ◽  
pp. 457-476 ◽  
Author(s):  
R. Banach ◽  
M. Poppleton

Modular Verification of Dynamic Properties for Reactive Systems

IFM’99 ◽  
1999 ◽  
pp. 89-108 ◽  
Author(s):  
J. Julliand ◽  
P.-A. Masson ◽  
H. Mountassir
Keyword(s):  
Dynamic Properties ◽  
Reactive Systems ◽  
Modular Verification

RT-Z: An Integration of Z and timed CSP

IFM’99 ◽  
1999 ◽  
pp. 29-48 ◽  
Author(s):  
Carsten Sühl
Keyword(s):  
Timed Csp

The Refinement of Event Calculus Models

IFM’99 ◽  
1999 ◽  
pp. 151-169
Author(s):  
Bill Stoddart ◽  
Steve Dunne
Keyword(s):  
Event Calculus

Overview of the Semantics of TCOZ

IFM’99 ◽  
1999 ◽  
pp. 66-85 ◽  
Author(s):  
Brendan Mahony ◽  
Jin Song Dong

Using a Process Algebra to control B OPERATIONS

IFM’99 ◽  
1999 ◽  
pp. 437-456 ◽  
Author(s):  
Helen Treharne ◽  
Steve Schneider
Keyword(s):  
Process Algebra

An Object Semantic Model of SOFL

IFM’99 ◽  
1999 ◽  
pp. 189-208 ◽  
Author(s):  
Jin Song Dong ◽  
Shaoying Liu
Keyword(s):  
Semantic Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document