Dong-Myung Seol

Learn More
Programming and composing deterministic distributed real-time systems is becoming increasingly important , yet remains difficult and error-prone. An innovative approach to such systems is the general-form time-liness-guaranteed design paradigm, which is the basis for the Time-triggered Message-triggered Object (TMO) programming and system specification(More)
  • 1