Springer
International Workshop on Foundations of Software Engineering
Computer Security

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