9 citations · 17 across the 8 of their papers we have counts for
1 paper · 1 filter
Michael Butler, John Colley, Andrew Edmunds +4
This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported b…