7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2010★ 7 cited
A Rewriting-Logic-Based Technique for Modeling Thermal Systems
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri +1
This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized a…
cs.LO2010
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems
Peter Csaba Ölveczky
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…