
[IEEE 2006 30th Annual IEEE/NASA Software Engineering Workshop - Columbia, MD, USA (2006.04.24-2006.04.28)] 2006 30th Annual IEEE/NASA Software Engineering Workshop - Integrating Probability with Time and Shared-Variable Concurrency
Zhu, Huibiao, Qin, Shengchao, He, Jifeng, Bowen, JonathanAnnée:
2006
Langue:
english
DOI:
10.1109/sew.2006.22
Fichier:
PDF, 214 KB
english, 2006