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
{"_id":"AyTQg79D2stDhhS5M","authorIDs":[],"author_short":["Yan, B.","Nakamura, M.","du<nbsp>Bousquet, L.","Matsumoto, K."],"bibbaseid":"yan-nakamura-dunbspbousquet-matsumoto-validatingsafetyforintegratedservicesofhomenetworksystemusingjml-2008","bibdata":{"author":["Yan, B.","Nakamura, M.","du Bousquet, Lydie","Matsumoto, Ken-ichi"],"author_short":["Yan, B.","Nakamura, M.","du<nbsp>Bousquet, L.","Matsumoto, K."],"bibtex":"@article{ yan_validating_2008,\n title = {Validating {Safety} for {Integrated} {Services} of {Home} {Network} {System} {Using} {JML}},\n volume = {16},\n journal = {Journal of Information Processing (IPSJ)},\n author = {Yan, B. and Nakamura, M. and du Bousquet, Lydie and Matsumoto, Ken-ichi},\n year = {2008},\n pages = {38--49}\n}","bibtype":"article","id":"yan_validating_2008","journal":"Journal of Information Processing (IPSJ)","key":"yan_validating_2008","pages":"38--49","title":"Validating Safety for Integrated Services of Home Network System Using JML","type":"article","volume":"16","year":"2008","bibbaseid":"yan-nakamura-dunbspbousquet-matsumoto-validatingsafetyforintegratedservicesofhomenetworksystemusingjml-2008","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://bibbase.org/zotero/ealprr","creationDate":"2015-04-22T00:14:21.138Z","downloads":0,"keywords":[],"search_terms":["validating","safety","integrated","services","home","network","system","using","jml","yan","nakamura","du<nbsp>bousquet","matsumoto"],"title":"Validating Safety for Integrated Services of Home Network System Using JML","year":2008,"dataSources":["fcy64Zdm28gydMmuE"]}