Creating test data generation tool for Lustre/SCADE programs using model checking.
Style de citation ChicagoCreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
Style de citation MLACreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
Attention : ces citations peuvent ne pas être correctes à 100%.