Automatic Conversion and Verification System Based on AADL Scheduling Model.

Dachuan Liang, Jing Li, Haiyang Bai, Huafeng Lin

Browse the full TASE paper archive.