A framework for modeling and formal verification of safety instrumented systems control...

Development of a rotary thermomagnetic motor for thermal energy conversion

Modeling for ultrasonics waves of reflected surfaces of various geometries

Manual and automatic, hybrid system for the position and path control in machine...

Ultrasonic measurement of the viscoelastic properties of liquids

Analisys of ultrasonic measurement of liquids viscosity by means of the shear reflectance...

An activity-based approach to management and determination of coats for requirements...

Decentralized control architecture development for underwater vehicles based on CAN,...

Structural and stability analysis of a pressure vessel of an AUV

Development of predictors for automated products recommendation