-
Stochastic Chase Decoding of Reed-Solomon Codes
International audience -
Automated test scenario generation from termporal properties and behavioural ...
In the work presented in this thesis, supported by the ANR TASCCC project, we propose a test generation technique using behavioral models in UML/OCL and temporal...
