PMAN4 - SEL@KIT

国内会議(査読付)

inproceedings

Cluster in the Loop Simulation Framework based on Formal Model-based Testing for Embedded Network Systems

2009年10月
Workshop on Simulation based Development of Certified Embedded Systems (SBDCES) /

Eun-Hye Choi
Yoshiki Kinoshita

URLがありません

概要

概要がありません

タグ

cluster embedded formal framework loop model-based network simulation systems testing

ファイル

ファイルがありません

BibTeX

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．