BibTeX record conf/qsic/WatanabeFMYHK07

• > Home > conf/qsic/WatanabeFMYHK07

@inproceedings{DBLP:conf/qsic/WatanabeFMYHK07,
  author       = {Masahiko Watanabe and
                  Akira Fukuda and
                  Michihiro Matsumoto and
                  Hirokazu Yatsu and
                  Ichiro Hosotani and
                  Shigeyuki Kido},
  title        = {A Resource Scheduling Design Method with Model Checking for Distributed
                  Embedded Software},
  booktitle    = {Seventh International Conference on Quality Software {(QSIC} 2007),
                  11-12 October 2007, Portland, Oregon, {USA}},
  pages        = {137--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.ieeecomputersociety.org/10.1109/QSIC.2007.8},
  doi          = {10.1109/QSIC.2007.8},
  timestamp    = {Thu, 23 Mar 2023 23:58:02 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/WatanabeFMYHK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}