@article{WenzlScheferWenzl, author = {Wenzl, Matthias and Schefer-Wenzl, Sigrid}, title = {Ran an den Knochen: Java embedded auf dem Beagle Bone}, series = {Entwickler Magazin Spezial "Internet of Things", April 2014}, journal = {Entwickler Magazin Spezial "Internet of Things", April 2014}, number = {Entwickler Magazin Spezial "Internet of Things", April 2014}, pages = {pp. 93-97}, subject = {Java}, language = {de} } @inproceedings{FibichWenzlRoessler, author = {Fibich, Christian and Wenzl, Matthias and R{\"o}ssler, Peter}, title = {On Automated Generation of Checker Units from Hardware Assertion Languages}, series = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014}, booktitle = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014}, subject = {Embedded Systems}, language = {en} }