Deadlock risk assessment in architectural models of real-time systems

Antonio Monzon, José L. Fernández-Sánchez. Deadlock risk assessment in architectural models of real-time systems. In IEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8 - 10, 2009. pages 181-190, IEEE, 2009. [doi]

Authors

Antonio Monzon

This author has not been identified. Look up 'Antonio Monzon' in Google

José L. Fernández-Sánchez

This author has not been identified. Look up 'José L. Fernández-Sánchez' in Google