VHDL Code Generation from Formal Event-B Models

Sergii Ostroumov, Leonidas Tsiopoulos

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

9 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 elokuuta 2001 → 2 syyskuuta 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., 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
Projekti: Research

@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 = "null ; 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

Y2 - 31 August 2001 through 2 September 2011

ER -