High-level symbolic simulation for automatic model extraction.

Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre

Browse the full DDECS paper archive.