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]

Authors

Simona Bernardi

This author has not been identified. Look up 'Simona Bernardi' in Google

Javier Campos

This author has not been identified. Look up 'Javier Campos' in Google

José Merseguer

This author has not been identified. Look up 'José Merseguer' in Google