Report copyright - Architecture-based Design: A Satellite On-Board Software ...sifakis/papers_pdfs... · architecture composition preserves the safety properties enforced by the individual architectures
Please pass captcha verification before submit form