主页
研究
组
项目
出版物
软件
新闻
人
教学
事件
谈话
新闻
联系人
乔治·魏森巴赫
教授
组
严格的系统工程
房间
办公室HG0307
(
显示FORSYTE位置
)
电话
+43 1 58801 18435
电子邮件
georg.weissenbacher@tuwien.ac.at地址:
网站
http://forsyte.at网址/
~韦森巴赫/
http://www.georg.weissenbacher.science网站
其他链接
教学
课程编号
课程名称
类型
最近/即将到来的学期
TISS链路
184741
程序和系统验证
VU(电压单位)
2024S年
184695
学士学位论文
公共关系
2024S年
181224
博士生和硕士生研讨会
东南方
2024S年
181221
研讨会形式方法
东南方
2024S年
184767
LogiCS研究研讨会
东南方
2024S年
184766
计算机科学逻辑方法导论
VO(旁白)
2024S年