VHDL Code Generation from Formal Event-B Models

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Sergey Ostroumov, Leonidas Tsiopoulos
Redaktörer: Kitsos P
Förläggare: IEEE Computer Society Conference Publishing Services (CPS)
Publiceringsår: 2011
Förläggare: IEEE
Moderpublikationens namn: Digital System Design (DSD), 2011 14th Euromicro Conference on
Artikelns första sida, sidnummer: 127
Artikelns sista sida, sidnummer: 134
ISBN: 978-1-4577-1048-3

Senast uppdaterad 2019-19-11 vid 02:45