VHDL Code Generation from Formal Event-B Models

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Sergey Ostroumov, Leonidas Tsiopoulos
Editors: Kitsos P
Publisher: IEEE Computer Society Conference Publishing Services (CPS)
Publication year: 2011
Publisher: IEEE
Book title: Digital System Design (DSD), 2011 14th Euromicro Conference on
Start page: 127
End page: 134
ISBN: 978-1-4577-1048-3

Last updated on 2019-23-08 at 04:59