Skip to main content
Side panel
Home
Calendar
Search courses
Rubrics
Faculty 1: Architecture, Civil Engineering, Geomatics
Faculty 2: Computer Science and Engineering
Faculty 3: Business and Law
Faculty 4: Social Work and Health
Cross-departmental
International Office
Miscellaneous
Further education
More
English (en)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Türkçe (tr)
Русский (ru)
简体中文 (zh_cn)
You are currently using guest access
Log in
Home
Calendar
Search courses
Rubrics
Collapse
Expand
Faculty 1: Architecture, Civil Engineering, Geomatics
Faculty 2: Computer Science and Engineering
Faculty 3: Business and Law
Faculty 4: Social Work and Health
Cross-departmental
International Office
Miscellaneous
Further education
Dashboard
Enrolment options
Schorr: Current Topics - SoSe 23
Enrolment options
Schorr: Current Topics - SoSe 23
Neural Network Verification
Modeling, Validation and Verification of Digital Twins
Incorrectness Logic
Dozent/in:
Ruth Schorr
Self enrolment (Student/in)
Self enrolment (Student/in)
Self enrolment (Student/in)
Guests cannot access this course. Please log in.
Continue
