第一届实时系统重写技术国际研讨会论文集
计算机科学中的逻辑
2010-09-22 v1
摘要
本卷收录了第一届实时系统重写技术国际研讨会（RTRTS 2010）的论文集，该研讨会于2010年4月6日至9日在斯匹次卑尔根岛朗伊尔城举行。研讨会的目的是汇集对使用基于重写的技术（包括重写逻辑）和工具进行实时与混合系统的建模、分析和/或实现感兴趣的研究人员，并为他们提供展示近期工作、讨论未来研究方向以及交流思想的机会。研讨会的主题包括但不限于：支持实时与混合系统及其扩展的基于重写的建模和分析的方法与工具；使用重写技术为基于模型的定时系统软件工程提供严格支持；应用与案例研究；以及与其他形式化和工具的比较。
引用
@article{arxiv.1009.3982,
title = {Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems},
author = {Peter Csaba Ölveczky},
journal= {arXiv preprint arXiv:1009.3982},
year = {2010}
}