Share this content via email · Share on Facebook · Share on Twitter · Share on ... Then, the colored petri net (CPN) is proposed for the analysis for AADL models, ...
Lee mas