Process-Algebraic Interpretation of AADL Models

Oleg Sokolsky, Insup Lee, Duncan Clarke. Process-Algebraic Interpretation of AADL Models. In Fabrice Kordon, Yvon Kermarrec, editors, Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. Volume 5570 of Lecture Notes in Computer Science, pages 222-236, Springer, 2009. [doi]

Authors

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google

Duncan Clarke

This author has not been identified. Look up 'Duncan Clarke' in Google