Showing 1 - 4 results of 4 for search 'Peter Csaba Ölveczky', query time: 0.02s Refine Results
  1. 1
    Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

    Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models by Peter Csaba Ölveczky, Kyungmin Bae

    Published 2010-09-01
    Get full text
    Article
  2. 2
    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
  3. 3
    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
  4. 4
    PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

    PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude by Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky

    Published 2012-12-01
    Get full text
    Article

Search Tools: