Behavioural Analysis of Component Framework with Multi-Valued Transition System.

Shin Nakajima

Browse the full APSEC paper archive.