Advanced Laboratory on Embedded Systems Via Barberini 50 Rome Italy;
Ansaldo Signalling and Transportation Solutions Via Argine 425 Naples Italy;
Contract-based design; Requirement engineering; Technologies for formal methods; Embedded systems;
机译:一种新的快速公交网络设计模型在公交快速公交网络设计中的应用:以伊斯法罕市区为例
机译:快速公交系统(BRT)的规划模型:以墨西哥城的Metrobus为例
机译:用于系统建模应用程序的经过简化的,经过测试验证的组件模式综合方法
机译:使用FormalSPecs验证程序工具套件合同建模和验证 - 应用于Ansaldo STS快速运输地铁系统用例
机译:从MetroII到Metronomy,设计用于网络物理系统时序验证的基于合同的功能-架构协同仿真框架。
机译:基于生理的药代动力学(PBPK)建模和模拟方法:已发布的模型应用和模型验证的系统评价
机译:系统模型验证的链式模型转换:应用程序验证Capella模型的Simulink
机译:从metroII到metronomy,设计基于合同的功能 - 架构协同仿真框架,用于网络物理系统的时序验证。