Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

TURTLE: a real-time UML profile supported by a formal validation toolkit

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Apvrille, L. ; Inst. Eurecom, Ecole Nat. Superieure des Telecommun., Sophia-Antipolis, France ; Courtiat, J. ; Lohr, C. ; de Saqui-Sannes, P.

Author(s)

Apvrille, L.
Inst. Eurecom, Ecole Nat. Superieure des Telecommun., Sophia-Antipolis, France
Courtiat, J. ; Lohr, C. ; de Saqui-Sannes, P.