TNF公司/基础设施
FMV(飞行管理车辆)
团队 接触 软件 出版物 教学 工作
[ 办公室 |接触 |地址 ]
自2020年3月起,我在日本理工大学,监督人Armin Biere教授.
第二科技园3(SCP3)地板S3 0259室
nils.froleyks@jku.at https://fmv.jku.at/froleyks网站
形式模型与验证研究所约翰开普勒大学阿尔滕贝格斯特。694040林茨奥地利