Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques

Simona Bernardi, Javier Campos, José Merseguer. Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques. IEEE Trans. Industrial Informatics, 7(1):90-104, 2011. [doi]

Abstract

Abstract is missing.