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