Design Improvement of System Administrative Operations for Certification

Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi. Design Improvement of System Administrative Operations for Certification. In Roberto Pietrantuono, Nuno Silva, editors, 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011. pages 31-36, IEEE Computer Society, 2011. [doi]

@inproceedings{TadanoXMMOK11,
  title = {Design Improvement of System Administrative Operations for Certification},
  author = {Kumiko Tadano and Jianwen Xiang and Fumio Machida and Yoshiharu Maeno and Takao Osaki and Atsushi Kobayashi},
  year = {2011},
  doi = {10.1109/WoSoCER.2011.12},
  url = {http://doi.ieeecomputersociety.org/10.1109/WoSoCER.2011.12},
  researchr = {https://researchr.org/publication/TadanoXMMOK11},
  cites = {0},
  citedby = {0},
  pages = {31-36},
  booktitle = {2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011},
  editor = {Roberto Pietrantuono and Nuno Silva},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4617-9},
}