阿尔贝托·塔切拉
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【c4】 Stylianos Basagiannis公司 , 卢多维科·巴蒂斯塔 , 安娜·贝基 , 亚历山德罗·西马蒂 , 乔治·吉安塔米迪斯 , 塞尔吉奥·莫弗 , 阿尔贝托·塔切拉 , 斯特凡诺·托内塔 , 瓦西里奥斯A.Tsachouridis :
基于SMT的工业切换PI控制系统稳定性验证。 DSN-W公司 2023 : 243-250 2022 【c3】 阿图罗·阿蒙多拉 , 安娜·贝基 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 安德烈亚·费兰多 , 洛伦佐·皮拉蒂 , 朱塞佩·斯卡利翁 , 阿尔贝托·塔切拉 , 赞博尼 :
NORMA:基于继电器的铁路联锁系统分析工具。 TACAS(1) 2022 : 125-142 2020 【c2】 阿尔贝托·塔切拉 , 阿曼多·塔切拉 :
用分段线性李亚普诺夫函数计算互联系统的弹性。 电子商务管理系统 2020 : 345-353 【c1】 阿图罗·阿蒙多拉 , 安娜·贝基 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 朱塞佩·斯卡利翁 , 安吉洛·苏西 , 阿尔贝托·塔切拉 , 马泰奥·泰西 :
基于模型的铁路联锁系统设计、验证和部署方法。 ISoLA(3) 2020 : 240-254
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)