First Page | Document Content | |
---|---|---|
Date: 2008-10-02 08:57:26Geocentric Coordinate Time Barycentric Coordinate Time TCB Proper time Barycentric Dynamical Time Astronomical constant Time scales Measurement Coordinate time | Relativistic scaling of astronomical quantities and the system of astronomical unitsAdd to Reading ListSource URL: maia.usno.navy.milDownload Document from Source WebsiteFile Size: 983,49 KBShare Document on Facebook |
Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1DocID: 1xUhq - View Document | |
TCB TCB GRANT OF EQUIPMENT AUTHORIZATIONDocID: 1uJRm - View Document | |
doi:j.tcbDocID: 1u1fI - View Document | |
Protecting the Android TCB with SELinux Stephen Smalley Trusted Systems Research National Security Agency CLASSIFICATION HEADERDocID: 1t6wp - View Document | |
Sociedade de Transportes Coletivos de BrasÃlia tcb Carta deDocID: 1t59V - View Document |