Login / Signup

Toward a formal model for component interfaces for real-time systems.

Dang Van Hung
Published in: FMICS (2005)
Keyphrases