7 citations · 7 across the 1 of their papers we have counts for
1 paper
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…