PMAN4 - SEL@KIT

Domestic Conference

inproceedings

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

October 2009
Workshop on Simulation based Development of Certified Embedded Systems (SBDCES) /

Eun-Hye Choi
Yoshiki Kinoshita

No URL available

Abstract

No abstract available

Tags

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

Files

No files available

BibTeX

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

The publications displayed in this list is related to SEL@KIT members only.