Compositional analysis of real-time embedded systems.

Linh T. X. Phan, Insup Lee, Oleg Sokolsky

Browse the full CASES paper archive.