VHDL Code Generation from Formal Event-B Models

Sergii Ostroumov, Leonidas Tsiopoulos

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

13 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Digital System Design (DSD), 2011 14th Euromicro Conference on
Toimittajat	P Kitsos
Kustantaja	IEEE
Sivut	127–134
ISBN (painettu)	978-1-4577-1048-3
DOI - pysyväislinkit	https://doi.org/10.1109/DSD.2011.20
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	uromicro Conference on Digital System Design (DSD) - 14th Euromicro Conference on Digital System Design (DSD), 2011 Kesto: 31 elok. 2001 → 2 syysk. 2011

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

Pääsy asiakirjaan

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Vastuullinen tutkija), 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
Projekti: 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 - 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 -