電気関係学会東北支部連合大会講演論文集
2016 TSJC
セッションID: 2A08
会議情報
笹井　一人（東北大学）
Deadlock-free Behavior Definition for Wireless Sensor Nodes Using Formal Verification
*秋山 直輝, 池田 愛大, 宮崎 敏明
著者情報
会議録・要旨集 フリー

詳細
PDFをダウンロード (288K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 2016 Organizing Committee of Tohoku-Section Joint Convention of Institutes of Electrical and Information Engineers, Japan
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top