Springer
International Workshop on Foundations of Software Engineering
Computer Security

Jaghoori, M. M. (2011). Composing Real-Time Concurrent Objects - Refinement, Compatibility and Schedulability. Proceedings of International Workshop on Foundations of Software Engineering, 96–111.