Welcome to the Highly Dependable Systems course!

As announced by IST, classes will start next week, and will be completely remote until further notice.

For theoretical classes, we will use Zoom, and for laboratory classes we will use Discord, check the "Remote Classes" section for further information.

During the first week there will be no laboratories to allow students to setup the laboratorial roups.

The laboratories will start on the week of March 8.

Further details will be provided in the next theoretical class.

Stay safe.