Formal patterns for multirate distributed real-time systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 01, 2014
Source ID
10.1016/j.scico.2013.09.010

Entities

People

  • José Meseguer
  • Kyungmin Bae
  • Peter Csaba Ölveczky

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation