Notice: We have migrated to GitLab launching 2024-05-01 see here:

Version 1 (modified by Joel Sherrill, on 01/06/16 at 03:35:25) (diff)

Fix year

References from 2000

Table of Contents

  1. References from 2000

  • "Sherlock: Commercial High Assurance Network Computing." Stephen Neal, Melissa Hartman, Steven Morgan, and Matthew Laue. ​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.

  • ]An Open Ravenscar Real-Time Kernel for GNAT, Juan A. de la Puente, José F. Ruiz, and Juan Zamorano, In Hubert B. Keller and Erhard Plödereder (Eds.) Reliable Software Technologies. Ada-Europe 2000 Lecture Notes in Computer Science, 1845. Springer-Verlag (2000).

  • Real-Time PC - Real Time Executive for Multiprocessor Systems Parts 1 2, 3, and 4: Introduction to RTEMS, Ingo Cyliax, ​Circuit Cellar, May - August 2000.