---
_id: '25148'
author:
- first_name: Krishna
  full_name: Sudhakar, Krishna
  last_name: Sudhakar
- first_name: Yuhong
  full_name: Zhao, Yuhong
  last_name: Zhao
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking
    into a Small-Footprint Real-Time Operating System. In: <i>Proc. 2014 IEEE 17th
    International Symposium on Object/Component/Service-Oriented Real-Time Distributed
    Computing (ISORC)</i>. IEEE Xplore; 2014:374-383.'
  apa: Sudhakar, K., Zhao, Y., &#38; Rammig, F.-J. (2014). Efficient Integration of
    Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Proc.
    2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time
    Distributed Computing (ISORC)</i>, 374–383.
  bibtex: '@inproceedings{Sudhakar_Zhao_Rammig_2014, place={Reno, NV}, title={Efficient
    Integration of Online Model Checking into a Small-Footprint Real-Time Operating
    System}, booktitle={Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={Sudhakar,
    Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2014}, pages={374–383}
    }'
  chicago: 'Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration
    of Online Model Checking into a Small-Footprint Real-Time Operating System.” In
    <i>Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing (ISORC)</i>, 374–83. Reno, NV: IEEE Xplore, 2014.'
  ieee: K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model
    Checking into a Small-Footprint Real-Time Operating System,” in <i>Proc. 2014
    IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time
    Distributed Computing (ISORC)</i>, 2014, pp. 374–383.
  mla: Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into
    a Small-Footprint Real-Time Operating System.” <i>Proc. 2014 IEEE 17th International
    Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
    (ISORC)</i>, IEEE Xplore, 2014, pp. 374–83.
  short: 'K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International
    Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
    (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.'
date_created: 2021-09-30T07:40:01Z
date_updated: 2022-01-06T06:56:53Z
department:
- _id: '672'
language:
- iso: eng
page: 374-383
place: Reno, NV
publication: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented
  Real-Time Distributed Computing (ISORC)
publisher: IEEE Xplore
status: public
title: Efficient Integration of Online Model Checking into a Small-Footprint Real-Time
  Operating System
type: conference
user_id: '21240'
year: '2014'
...