Derivation of Structural VHDL from Component-Based Event-B Models

Sergii Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 4th Rodin User and Developer Workshop
Editors	M Butler, S Hallerstede, M Walden
Publisher	TUCS
Pages	31–32
ISBN (Print)	978-952-12-2899-5
Publication status	Published - 2013
MoE publication type	A4 Article in a conference publication
Event	Rodin User and Developer Workshop - 4th Rodin User and Developer Workshop Duration: 10 Jun 2013 → 11 Jun 2013

Conference	Rodin User and Developer Workshop
Period	10/06/13 → 11/06/13

Cite this

@inproceedings{a0867440eb3f4a08ac1789503e0f4f0e,

title = "Derivation of Structural VHDL from Component-Based Event-B Models",

author = "Sergii Ostroumov and Leonidas Tsiopoulos and Juha Plosila and Kaisa Sere",

year = "2013",

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

isbn = "978-952-12-2899-5",

pages = "31–32",

editor = "M Butler and S Hallerstede and M Walden",

booktitle = "Proceedings of the 4th Rodin User and Developer Workshop",

publisher = "TUCS",

note = "Rodin User and Developer Workshop ; Conference date: 10-06-2013 Through 11-06-2013",

}

Derivation of Structural VHDL from Component-Based Event-B Models. / Ostroumov, Sergii; Tsiopoulos, Leonidas; Plosila, Juha et al.
Proceedings of the 4th Rodin User and Developer Workshop. ed. / M Butler; S Hallerstede; M Walden. TUCS, 2013. p. 31–32.

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

TY - GEN

T1 - Derivation of Structural VHDL from Component-Based Event-B Models

AU - Ostroumov, Sergii

AU - Tsiopoulos, Leonidas

AU - Plosila, Juha

AU - Sere, Kaisa

PY - 2013

Y1 - 2013

M3 - Publicerad konferensartikel

SN - 978-952-12-2899-5

SP - 31

EP - 32

BT - Proceedings of the 4th Rodin User and Developer Workshop

A2 - Butler, M

A2 - Hallerstede, S

A2 - Walden, M

PB - TUCS

T2 - Rodin User and Developer Workshop

Y2 - 10 June 2013 through 11 June 2013

ER -