We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
Abstract. Interactive spaces with multiple networked devices and interactive surfaces are an effective means to support multi-user collocated collaboration. In these spaces, surfa...
Hans-Christian Jetter, Jens Gerken, Michael Zö...