A Formalism for Architectural Modeling of Distributed Real-Time Systems.

Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist

Browse the full SEKE paper archive.