TIMESTAMP_TO_CHAR

Uses a format string to format a timestamp as char. Returns the timestamp as a string.

SYS_BOOT.MGMT.TIMESTAMP_TO_CHAR(format,ts);

where ts is timestamp.