Research and Development on Information and Communication Technology
Return to Article Details A Formal Method for Specifying The Interface of Components in Real-time Concurrent Systems Download Download PDF