In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012), September 18-20, Vienna, …
Melanie Diepenbeck; Mathias Soeken; Daniel Große; Rolf Drechsler
In: Proceedings of IEEE International Design and Test Symposium . IEEE International Design and Test Symposium (IDT-12), December 15-17, Doha, Qatar, …
Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler
In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12), 17th, January 30 - February 2, Sydney, New South Wales, …