VHDL Code Generation from Formal Event-B Models

Sergii Ostroumov, Leonidas Tsiopoulos

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

12 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Digital System Design (DSD), 2011 14th Euromicro Conference on
Editors	P Kitsos
Publisher	IEEE
Pages	127–134
ISBN (Print)	978-1-4577-1048-3
DOIs	https://doi.org/10.1109/DSD.2011.20
Publication status	Published - 2011
MoE publication type	A4 Article in a conference publication
Event	uromicro Conference on Digital System Design (DSD) - 14th Euromicro Conference on Digital System Design (DSD), 2011 Duration: 31 Aug 2001 → 2 Sept 2011

Conference	uromicro Conference on Digital System Design (DSD)
Period	31/08/01 → 02/09/11

Access to Document

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Project: Research Council of Finland/Other Research Councils

@inproceedings{586b721ce7d346d0bb3611f8cb2aad59,

title = "VHDL Code Generation from Formal Event-B Models",

author = "Sergii Ostroumov and Leonidas Tsiopoulos",

year = "2011",

doi = "10.1109/DSD.2011.20",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-4577-1048-3",

pages = "127–134",

editor = "P Kitsos",

booktitle = "Digital System Design (DSD), 2011 14th Euromicro Conference on",

publisher = "IEEE",

note = "uromicro Conference on Digital System Design (DSD) ; Conference date: 31-08-2001 Through 02-09-2011",

}

TY - GEN

T1 - VHDL Code Generation from Formal Event-B Models

AU - Ostroumov, Sergii

AU - Tsiopoulos, Leonidas

PY - 2011

Y1 - 2011

U2 - 10.1109/DSD.2011.20

DO - 10.1109/DSD.2011.20

M3 - Konferensbidrag

SN - 978-1-4577-1048-3

SP - 127

EP - 134

BT - Digital System Design (DSD), 2011 14th Euromicro Conference on

A2 - Kitsos, P

PB - IEEE

T2 - uromicro Conference on Digital System Design (DSD)

Y2 - 31 August 2001 through 2 September 2011

ER -