Formal Specification for Crtical Systems with Transfomer Neural Networks

Organisatsiooni nimi
Geometric Deep Learning
Kokkuvõte
Lõputöö kaitsmise aasta
2022-2023
Juhendaja
Kallol Roy, Sandeep Kutwal
Suhtlemiskeel(ed)
inglise keel
Nõuded kandideerijale
Tase
Bakalaureus, Magister
Märksõnad
#Transformer Neural Networks, Critical System, Formal System

Kandideerimise kontakt

 
Nimi
KALLOL ROY, Sandeep Kutwal
Tel
+37256051480
E-mail
kallol.roy@ut.ee
Vaata lähemalt
https://kallolroy.me/