Operation TM_ClockTime clkTrans (Time uTime), in Class TM_Clock

Documentation
This operation accepts a time expressed in UTC and returns a time expressed in this TM_Clock.

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics