9 citations · 12 across the 3 of their papers we have counts for
1 paper · 2 filters
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…