Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems
This volume contains the proceedings of the First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010), held in Longyearbyen, Spitsbergen, on April 6-9, 2010. The aim of the workshop is to bring together researchers with an interest in the use of rewriting-based techniqu...
Published in: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Main Author: | |
Format: | Text |
Language: | unknown |
Published: |
2010
|
Subjects: | |
Online Access: | http://arxiv.org/abs/1009.3982 https://doi.org/10.4204/EPTCS.36 |
id |
ftarxivpreprints:oai:arXiv.org:1009.3982 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:1009.3982 2023-09-05T13:20:58+02:00 Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems Ölveczky, Peter Csaba 2010-09-20 http://arxiv.org/abs/1009.3982 https://doi.org/10.4204/EPTCS.36 unknown http://arxiv.org/abs/1009.3982 EPTCS 36, 2010 doi:10.4204/EPTCS.36 Computer Science - Logic in Computer Science text 2010 ftarxivpreprints https://doi.org/10.4204/EPTCS.36 2023-08-16T12:18:59Z This volume contains the proceedings of the First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010), held in Longyearbyen, Spitsbergen, on April 6-9, 2010. The aim of the workshop is to bring together researchers with an interest in the use of rewriting-based techniques (including rewriting logic) and tools for the modeling, analysis, and/or implementation of real-time and hybrid systems, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to: methods and tools supporting rewriting-based modeling and analysis of real-time and hybrid systems, and extensions of such systems; use of rewriting techniques to provide rigorous support for model-based software engineering of timed systems; applications and case studies; and comparison with other formalisms and tools. Text Longyearbyen Spitsbergen ArXiv.org (Cornell University Library) Longyearbyen Electronic Proceedings in Theoretical Computer Science 36 |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Computer Science - Logic in Computer Science |
spellingShingle |
Computer Science - Logic in Computer Science Ölveczky, Peter Csaba Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems |
topic_facet |
Computer Science - Logic in Computer Science |
description |
This volume contains the proceedings of the First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010), held in Longyearbyen, Spitsbergen, on April 6-9, 2010. The aim of the workshop is to bring together researchers with an interest in the use of rewriting-based techniques (including rewriting logic) and tools for the modeling, analysis, and/or implementation of real-time and hybrid systems, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to: methods and tools supporting rewriting-based modeling and analysis of real-time and hybrid systems, and extensions of such systems; use of rewriting techniques to provide rigorous support for model-based software engineering of timed systems; applications and case studies; and comparison with other formalisms and tools. |
format |
Text |
author |
Ölveczky, Peter Csaba |
author_facet |
Ölveczky, Peter Csaba |
author_sort |
Ölveczky, Peter Csaba |
title |
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems |
title_short |
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems |
title_full |
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems |
title_fullStr |
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems |
title_full_unstemmed |
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems |
title_sort |
proceedings first international workshop on rewriting techniques for real-time systems |
publishDate |
2010 |
url |
http://arxiv.org/abs/1009.3982 https://doi.org/10.4204/EPTCS.36 |
geographic |
Longyearbyen |
geographic_facet |
Longyearbyen |
genre |
Longyearbyen Spitsbergen |
genre_facet |
Longyearbyen Spitsbergen |
op_relation |
http://arxiv.org/abs/1009.3982 EPTCS 36, 2010 doi:10.4204/EPTCS.36 |
op_doi |
https://doi.org/10.4204/EPTCS.36 |
container_title |
Electronic Proceedings in Theoretical Computer Science |
container_volume |
36 |
_version_ |
1776201599664783360 |