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

Sergii Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of the 4th Rodin User and Developer Workshop
Redaktörer	M Butler, S Hallerstede, M Walden
Förlag	TUCS
Sidor	31–32
ISBN (tryckt)	978-952-12-2899-5
Status	Publicerad - 2013
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	Rodin User and Developer Workshop - 4th Rodin User and Developer Workshop Varaktighet: 10 juni 2013 → 11 juni 2013

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

Citera det här

@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",

}

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 - Konferensbidrag

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 -