Validating Safety for Integrated Services of Home Network System Using JML. Yan, B., Nakamura, M., du Bousquet, L., & Matsumoto, K. Journal of Information Processing (IPSJ), 16:38--49, 2008.
bibtex   
@article{ yan_validating_2008,
  title = {Validating {Safety} for {Integrated} {Services} of {Home} {Network} {System} {Using} {JML}},
  volume = {16},
  journal = {Journal of Information Processing (IPSJ)},
  author = {Yan, B. and Nakamura, M. and du Bousquet, Lydie and Matsumoto, Ken-ichi},
  year = {2008},
  pages = {38--49}
}

Downloads: 0