Search
Toggle theme
Menu
Back
Home
Publications
Formal Modeling for Verifying SCA Dynamic Composition with Event-B
Public
More options
Formal Modeling for Verifying SCA Dynamic Composition with Event-B
N
Shared by
NobleBlocks
on Jun 15, 2015 • 12:00 AM UTC
Authors:
Aida Lahouij
,
Lazhar Hamel
,
Mohamed Graiet
Download PDF
Share
Summary
Sum
PDF
Figures
Figs
Discrepancies
Disc
EDDII
Article
Art
Subject
Computer Science
Finding related papers...
Discussions
(0)
Add Comment
No comments yet
Be the first to share your thoughts!
Formal Modeling for Verifying SCA Dynamic Composition with Event-B | NobleBlocks
