Changes between Version 1 and Version 2 of References/2013


Ignore:
Timestamp:
Jan 7, 2016, 7:01:23 AM (4 years ago)
Author:
Owen_8
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • References/2013

    v1 v2  
    22
    33[[TOC(References/2013 , depth=2)]]
     4
     5 *  Blackham, Bernard. Towards Verified Microkernels for Real-Time Mixed-Criticality Systems. Diss. The University of New South Wales, 2013. [http://elastos.org/redmine/attachments/download/3508/Towards%20verified%20microkernels%20for%20real-time%20mixed-criticality%20systems.pdf]
     6
     7 *  Zhang, Bo. "Research and application of embedded real-time operating system." Fifth International Conference on Machine Vision (ICMV 12). International Society for Optics and Photonics, 2013. [http://proceedings.spiedigitallibrary.org/proceeding.aspx?articleid=1667629]
     8
     9 *  Goossens, Kees, et al. "Virtual execution platforms for mixed-time-criticality systems: The compsoc architecture and design flow." ACM SIGBED Review 10.3 (2013): 23-34. [http://sigbed.seas.upenn.edu/archives/2013-10/crts2012_submission_5.pdf]
    410
    511 *  Femmer, Henning, et al. "Detecting inconsistencies in wrappers: a case study." Proceedings of the 2013 International Conference on Software Engineering. IEEE Press, 2013. [http://www4.in.tum.de/~femmer/works/icse13seip-preprint.pdf]