第一 TiCSA@ETAPS 2023年:法国巴黎
莫里斯·特尔·比克 , 克莱门斯·杜斯拉夫 :
可配置系统分析趋势第一次研讨会会议记录, TiCSA@ETAPS 2023年4月23日,法国巴黎。 EPTCS系统 392, 2023 埃蒂安·安德烈 , 恩格尔·勒福丘 , 迪迪埃·莱姆 , 迪伦·马里奥 , 孙军(Jun Sun) :
配置定时参数以确保定时自动机中的执行时间不透明度。 1-26 何塞·普伦萨 , 大卫·佩雷拉 , 吉安·斯皮勒·南迪 , 新浪博拉米 , 乔纳斯·梅尔切特 :
实时规范系列的基于电子表格的配置。 27-39 朱塞佩·德·帕尔马 , 萨维里奥·贾洛伦佐 , 科西莫·拉伊夫 , 雅各布·毛罗 , 马泰奥-特伦汀 , 吉安路易吉·扎瓦塔罗 :
基于成本分析的无服务器调度策略。 40-52 帕斯卡·克拉普夫 , 塞巴斯蒂安·贝蒂尔 , 妮可·莱维 :
具有图形MBSE视图的产品线管理。 53-65
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)