Creating test data generation tool for Lustre/SCADE programs using model checking.
Dyfyniad Arddull ChicagoCreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
Dyfyniad MLACreating 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.