Find the description of the corresponding competence within the following file:

https://moodle.newmetro.eu/pluginfile.php/160/coursecat/description/7b_7c.pdf

Octave and Simulink for Mechatronic System Design

This project revises Octave, Simulink  for mechatronic systems design and development 

Formal Methods of Real Time Mechatronic Systems

In  software engineering and hardware engineering, formal methods comprise a toolset of mathematically rigorous techniques for the specification, development and verification of software and hardware systems.