Changes between Version 3 and Version 4 of References/2000


Ignore:
Timestamp:
Jan 18, 2016, 2:41:54 AM (3 years ago)
Author:
Zaphod
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • References/2000

    v3 v4  
    1111* Neal, Stephen; Hartman, Melissa; Morgan, Steven; and Laue, Matthew. "Sherlock: Commercial High Assurance Network Computing." ​ISW 2000, the third Information Security Workshop. University of Wollongong. 20-21 December 2000. The proceedings were published as number 1975 in the Springer-Verlag Lecture Notes in Computer Science series.
    1212
    13 * Pree, Wolfgang. [http://www-cad.eecs.berkeley.edu/cad-seminar/fall00/papers/pree.pdf OO "Framework for On-Board Satellite Software"], Fall 2000.
     13* Pree, Wolfgang. [http://www-cad.eecs.berkeley.edu/cad-seminar/fall00/papers/pree.pdf "OO Framework for On-Board Satellite Software"], Fall 2000.
    1414
    15 * Juan A. de la Puente, José F. Ruiz, and Juan Zamorano. [http://polaris.dit.upm.es/~str/papers/puente&00a.pdf An Open Ravenscar Real-Time Kernel for GNAT dead 17 January 2016]. In Hubert B. Keller and Erhard Plödereder (Eds.) Reliable Software Technologies. Ada-Europe 2000 Lecture Notes in Computer Science, 1845. Springer-Verlag (2000).
     15* Juan A. de la Puente, José F. Ruiz, and Juan Zamorano. [http://polaris.dit.upm.es/~str/papers/puente&00a.pdf "An Open Ravenscar Real-Time Kernel for GNAT" dead 17 January 2016]. In Hubert B. Keller and Erhard Plödereder (Eds.) Reliable Software Technologies. Ada-Europe 2000 Lecture Notes in Computer Science, 1845. Springer-Verlag (2000).
    1616
    17 *  Juan A. de la Puente, José F. Ruiz, Juan Zamorano, Rodrigo García, and Ramón Fernández-Marina. [http://polaris.dit.upm.es/~str/papers/puente&00b.pdf ORK: An Open Source Real-Time Kernel for On-Board Software Systems dead 17 January 2016]. In DASIA 2000 - Data Systems in Aerospace. Montreal, Canada, 2000.
     17*  Juan A. de la Puente, José F. Ruiz, Juan Zamorano, Rodrigo García, and Ramón Fernández-Marina. [http://polaris.dit.upm.es/~str/papers/puente&00b.pdf "ORK: An Open Source Real-Time Kernel for On-Board Software Systems" dead 17 January 2016]. In DASIA 2000 - Data Systems in Aerospace. Montreal, Canada, 2000.
    1818
    19 * Stakem, Patrick H. [http://flightlinux.gsfc.nasa.gov/docs/Target_Arch_Report.pdf FlightLinux Project Target Architecture Technical Report dead 17 January 2016]. QSS Group, Inc., Revised 3/6/2001.
     19* Stakem, Patrick H. [http://flightlinux.gsfc.nasa.gov/docs/Target_Arch_Report.pdf "FlightLinux Project Target Architecture Technical Report" dead 17 January 2016]. QSS Group, Inc., Revised 3/6/2001.