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

Dang Van Hung

Browse the full FMICS paper archive.