Notice: We have migrated to GitLab launching 2024-05-01 see here: https://gitlab.rtems.org/

Changes between Version 1 and Version 2 of References/2013


Ignore:
Timestamp:
01/07/16 07:01:23 (8 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]