Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

B
2007
Springer

favoriteEmaildiscussreport

156views Software Engineering» more B 2007»

The B-Method for the Construction of Microkernel-Based Systems

13 years 10 months ago

The B-Method for the Construction of Microkernel-Based Systems

Download www.cse.unsw.edu.au

Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L

Real-time Traffic

B 2007 | Software Engineering |

claim paper

Related Content

» On Typechecking B

» A First Attempt to Express KAOS Refinement Patterns with Event B

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	B
Authors	Sarah Hoffmann, Germain Haugou, Sophie Gabriele, Lilian Burdy

Comments (0)