Generation of Structural VHDL Code with Library Components from Formal Event-B Models.

Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila

Browse the full DSD paper archive.