Michal Grobelny, Iwona Grobelna, Marian Adamski. Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams. In Zdenek Bradác, Frantisek Zezulka, editors, 11th IFAC Conference on Programmable Devices and Embedded Systems, PDeS 2012, Brno, Czech Republic, May 23-25, 2012. pages 134-139, International Federation of Automatic Control, 2012. [doi]
Abstract is missing.