Extracting behaviour from an executable instruction set model (2016)
Attributed to:
REMS: Rigorous Engineering for Mainstream Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/fmcad.2016.7886658
Publication URI: https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD16/proceedings/fmcad-2016-proceedings.pdf
Type: Conference/Paper/Proceeding/Abstract