Insup Lee;Jin-Young Choi;Hee-Hwan Kwak;Anna Philippou;Oleg Sokolsky
-;-;-;-;-
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets
IEEE Transactions on Software Engineering
Schedulability analysis of AADL models
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing