VHDL Code Generation from Formal Event-B Models

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

13 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Digital System Design (DSD), 2011 14th Euromicro Conference on
Redaktörer	P Kitsos
Förlag	IEEE
Sidor	127–134
ISBN (tryckt)	978-1-4577-1048-3
DOI	https://doi.org/10.1109/DSD.2011.20
Status	Publicerad - 2011
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	uromicro Conference on Digital System Design (DSD) - 14th Euromicro Conference on Digital System Design (DSD), 2011 Varaktighet: 31 aug. 2001 → 2 sep. 2011

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

Åtkomst av dokument

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Ansvarig forskare), Sere, K. (CoPI), Plosila, J. (CoPI), Sandvik, P. (CoI), Olszewska, M. (CoI), Tsiopoulos, L. (CoI), Dahlvik, M. (CoI), Wiik, J. (CoI), Laibinis, L. (CoI), Neovius, M. (CoI) & Lumme, K. (CoI)
01/01/08 → 31/12/11
Projekt: Finlands Akademi/Övriga Forskningsråd

@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 - Publicerad konferensartikel

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 -