TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes. TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Trans. Software Eng., 30(7):473-487, 2004. [doi]

Authors

Ludovic Apvrille

This author has not been identified. Look up 'Ludovic Apvrille' in Google

Jean-Pierre Courtiat

This author has not been identified. Look up 'Jean-Pierre Courtiat' in Google

Christophe Lohr

This author has not been identified. Look up 'Christophe Lohr' in Google

Pierre de Saqui-Sannes

This author has not been identified. Look up 'Pierre de Saqui-Sannes' in Google