This interactive tool allows you to convert between different GPS time formats.