Showing 1 - 2 results of 2 for search 'Kyungmin Bae', 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
    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: