Human Supervisory Control of Automated Systems Provider: mit opencourseware Language: English

module-2.2-Verification of Concurrent Programs - Overview Provider: university of bologna digital library Language: English

Information Systems for Business and Beyond (2019) Provider: ecampusontario open library Language: English

Software Engineering Concepts Provider: mit opencourseware Language: English

Babel 2012 on the Web Provider: videolectures.net Language: English

Computer Systems Security Provider: mit opencourseware Language: English

Verification of Concurrent Programs - Introduction Provider: university of bologna digital library Language: English

From Automated Verification to Automated Design Provider: videolectures.net Language: English

module-1.1 - Programming Paradigms: Overview Provider: university of bologna digital library Language: English

Space System Architecture and Design Provider: mit opencourseware Language: English