Extending Code Generation to Support Platform-Independent Event-B Models (2016)
Attributed to:
PRiME: Power-efficient, Reliable, Many-core Embedded systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://eprints.soton.ac.uk/396443/1/proceedings.pdf#page=31
Type: Conference/Paper/Proceeding/Abstract