Creating test data generation tool for Lustre/SCADE programs using model checking.
Παραπομπή Chicago StyleCreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
Παραπομπή MLACreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.