Creating test data generation tool for Lustre/SCADE programs using model checking.
Chicago Style CitationCreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
MLA CitationCreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
Warning: These citations may not always be 100% accurate.