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

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila and Kaisa Sere
Editors: Butler M, Hallerstede S, Walden M
Publisher: TUCS
Publication year: 2013
Publisher: TUCS
Book title: Proceedings of the 4th Rodin User and Developer Workshop
Title of series: TUCS Lecture Notes
Number in series: 18
Start page: 31
End page: 32
ISBN: 978-952-12-2899-5
ISSN: 1797-8831

Last updated on 2019-22-09 at 04:59