1 dataset found

This thesis aimed at providing a method to model, verify, and generate allocations of embedded systems functions on avionics resources. This method is based on the use...