B 2007: Formal Specification and Development in B - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540687603, 9783540687610
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modelling and Proof Analysis of Interrupt Driven Scheduling

2006 ◽  
pp. 155-170 ◽  
Author(s):  
Bill Stoddart ◽  
Dominique Cansell ◽  
Frank Zeyda
Keyword(s):  
Proof Analysis

scholarly journals Time Constraint Patterns for Event B Development

2006 ◽  
pp. 140-154 ◽  
Author(s):  
Dominique Cansell ◽  
Dominique Méry ◽  
Joris Rehm
Keyword(s):  
Time Constraint

Integration of Security Policy into System Modeling

2006 ◽  
pp. 232-247 ◽  
Author(s):  
Nazim Benaïssa ◽  
Dominique Cansell ◽  
Dominique Méry
Keyword(s):  
Security Policy ◽  
System Modeling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document