View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems.

Lichen Zhang

Browse the full DASC paper archive.