Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems

Details Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems

2010-09-21

arxiv.org/abs/1009.3982v1

EPTCS 36, 2010

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.36

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.

Affiliated with

Also associated with

No associations

Rating

Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-697084