Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
In engineering analysis, geometric symmetry, when exploited, has two potential benefits: (1) it can significantly reduce the computational time, and (2) it can simultaneously impr...
The paper presents an algorithm which combining a neural network observer, it give more flexible and accurate control on the engine operation. In recent year, several researchers ...
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...