Creating test data generation tool for Lustre/SCADE programs using model checking.
シカゴスタイル引用形Creating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
MLA引用形式Creating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
警告: この引用は必ずしも正確ではありません.