Author of the publication

Model-Based Testing Using System vs. Test Models - What Is the Difference?

, , , , , , and . Engineering of Computer-Based Systems, IEEE International Conference on the, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards., , , , , , , , , and 3 other author(s). Recent Advances in Ambient Assisted Living, volume 20 of Ambient Intelligence and Smart Environments, IOS Press, (2015)Efficient verification of a class of time Petri nets using linear programming., and . Inf. Process. Lett., 77 (5-6): 219-224 (2001)Static Energy Saving Through Multi-Bank Memory Architecture., and . ICSAMOS, page 43-49. IEEE, (2006)Lightweight Framework for Runtime Updating of C-Based Software in Embedded Systems., , , and . HotSWUp, USENIX Association, (2013)OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract).. Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 660-663. Springer, (1996)MDE for SoC design., , , , , and . Innov. Syst. Softw. Eng., 5 (1): 49-64 (2009)Understanding Movement and Interaction: An Ontology for Kinect-Based 3D Depth Sensors., , , , and . UCAmI, volume 8276 of Lecture Notes in Computer Science, page 254-261. Springer, (2013)Model-Based Testing Using System vs. Test Models - What Is the Difference?, , , , , , and . Engineering of Computer-Based Systems, IEEE International Conference on the, (2010)Parallel decoder for low density parity check codes: A MPSoC study., , , , , , and . HPCS, page 202-206. IEEE, (2013)A Unified Approach to Code Generation from Behavioral Diagrams, , and . (2004)