Changes between Version 153 and Version 154 of References


Ignore:
Timestamp:
Dec 21, 2015, 7:52:20 AM (4 years ago)
Author:
Owen_8
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • References

    v153 v154  
    2121=  Published in 2013  =
    2222
     23 *  Yang, Feng, Xuehai Zhou, and Dalei Hu. "A General Mandatory Access Control Framework in Distributed Environments."
     24
     25 *  Zhou, Zhengmao, et al. "A Workload Model Based Approach to Evaluate the Robustness of Real-time Operating System." High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC_EUC), 2013 IEEE 10th International Conference on. IEEE, 2013.
     26
     27 *  Song, Jia, and Jim Alves-Foss. "Security Tagging for a Zero-Kernel Operating System." System Sciences (HICSS), 2013 46th Hawaii International Conference on. IEEE, 2013.
    2328
    2429 *  M. Unwin, S. Gao, R. De Vos Van Steenwijk, P. Jales, M. Maqsood, C. Gommenginger, J. Rose, C. Mitchell, K. Partington. "Development of low-cost spaceborne multi-frequency GNSS receiver for navigation and GNSS remote sensing" [http://inderscience.metapress.com/content/682jx6461l433034/fulltext.pdf]
     
    543548 * Dusatko, J., S. Allison, M. Browne, and P. Krejcik. "THE LCLS TIMNG EVENT SYSTEM." (2010). [http://www.lanl.gov/conferences/biw10/preprints/TUPSM083_preprint.pdf]
    544549
    545  * Riedel, Joseph E., T. A. Ely, A. Lee, R. A. Werner, T. S. Wang, and A. T. Vaughan. "Optical Navigation Plan and Strategy for the Lunar Lander Altair." In AIAA Guidance, Navigation, and Control Conference. 2010.
    546 
    547  * Raghav, Gopal, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, Jérôme Hugues, and Julien Delange. "Model based code generation for distributed embedded systems." (2010). [http://oatao.univ-toulouse.fr/4098/1/Hugues_4098.pdf]
    548 
    549  * Miku?ionis, Marius, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, and Poul Hougaard. "Schedulability analysis using Uppaal: Herschel-Planck case study." In Leveraging Applications of Formal Methods, Verification, and Validation, pp. 175-190. [ht
     550 * Riedel, Joseph E., T. A. Ely, A. Lee, R. A. Werner, T. S. Wang, and A. T. Vaughan. "Optical Navigation Plan and Strategy for the Lunar Lander Altair." In AIAA