Showing 1 - 2 results of 2 for search 'Daniela Lepri', query time: 0.02s Refine Results
  1. 1
    Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

    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
    Get full text
    Article
  2. 2
    A Rewriting-Logic-Based Technique for Modeling Thermal Systems

    A Rewriting-Logic-Based Technique for Modeling Thermal Systems by Daniela Lepri, Erika Ábrahám, Muhammad Fadlisyah, Peter Csaba Ölveczky

    Published 2010-09-01
    Get full text
    Article

Search Tools: