and disciplines, including energy, finance, automotive, engineering, technology, maritime and trade, aerospace and defense, chemical...

safety-critical verticals (e.g. Railway, Maritime, Civil Aviation, etc.), develop and demonstrate the associated concepts...