Changes between Version 3 and Version 4 of References/2000

Timestamp:

01/18/16 02:41:54 (8 years ago)

Author:

Zaphod

Comment:

--

References/2000

@@ -11 +11 @@
 * 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.
 
-* Pree, Wolfgang. [http://www-cad.eecs.berkeley.edu/cad-seminar/fall00/papers/pree.pdf OO "Framework for On-Board Satellite Software"], Fall 2000.
+* Pree, Wolfgang. [http://www-cad.eecs.berkeley.edu/cad-seminar/fall00/papers/pree.pdf "OO Framework for On-Board Satellite Software"], Fall 2000.
 
-* 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).
+* 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).
 
-*  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.
+*  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.
 
-* 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.
+* 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.