TOPCASED Talk Added

We have added a very interesting talk to the ECE schedule: TOPCASED - REQ on Its Way to Support RMF (and Beyond)!

TOPCASED is an open-source software environment used to develop critical embedded systems.

This session was added due to the cancellation of the Spykit talk (the speaker had a change in plans).