Sciweavers

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

33

ASM
2010
ASM

favoriteEmaildiscussreport

332views Computational Biology» more ASM 2010»

Supporting Reuse in Event B Development: Modularisation Approach

14 years 8 months ago

Supporting Reuse in Event B Development: Modularisation Approach

Download tucs.fi

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,

Real-time Traffic

ASM 2010 | Microbiology |

claim paper

Related Content

» Supporting Reuse of EventB Developments through Generic Instantiation

» Decomposition tool for eventB

» A Basis for FeatureOriented Modelling in EventB

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

» RIGR A Repository Model Based Approach to Management

» Efficient overlap and content reuse detection in blogs and online news articles

» Seamlessly integrated but loosely coupled building user interfaces from heterogeneous comp...

» Supporting OpenMP on Cell

» Data Flow Analysis for Verifying Properties of Concurrent Programs

Post Info
More Details (n/a)

Added	11 Mar 2010
Updated	11 Mar 2010
Type	Conference
Year	2010
Where	ASM
Authors	Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala

Comments (0)