通信ソフトウェアの仕様検証への応用

計測と制御

Online ISSN : 1883-8170
Print ISSN : 0453-4662
ISSN-L : 0453-4662

通信ソフトウェアの仕様検証への応用

長谷川晴朗

著者情報

キーワード: ペトリネット, 通信ソフトウェァ, Tインバリアント, サービス仕様, 仕様検証

ジャーナルフリー

1989 年 28 巻 9 号 p. 784-787

DOI https://doi.org/10.11499/sicejl1962.28.784

詳細

記事の1ページ目

著者関連情報

© 社団法人計測自動制御学会

お気に入り & アラート

関連記事

閲覧履歴

前身誌

Top