|
[JPS03]
J. Jayaputera, I. Poernomo, H. Schmidt.
Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures.
In Proc. Specification and Verification of Component-Based Systems (SAVCBS'03), Workshop at ESEC/FSE'03.
September 2003.
http://www.cs.iastate.edu/~leavens/SAVCBS/2003/papers/index.shtml
|
|
Links:
[Google]
[Google Scholar]
|