Dyfyniad APA

Creating test data generation tool for Lustre/SCADE programs using model checking.

Dyfyniad Arddull Chicago

Creating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.

Dyfyniad MLA

Creating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.