A Rewriting-Logic-Based Technique for Modeling Thermal Systems

Muhammad Fadlisyah Erika Ábrahám Daniela Lepri Peter Csaba Ölveczky

Published in: RTRTS (2010)

Keyphrases

distributed systems
artificial intelligence
case study
digital libraries
complex systems
room temperature
information retrieval
learning algorithm
expert systems
building blocks
infrared
modeling language