Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

by Erika Ábrahám, Peter Csaba Ölveczky, Daniela Lepri
Published 2010-09-01

A Rewriting-Logic-Based Technique for Modeling Thermal Systems

by Daniela Lepri, Erika Ábrahám, Muhammad Fadlisyah, Peter Csaba Ölveczky
Published 2010-09-01