Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP.

Etienne Lantreibecq, Wendelin Serwe

Browse the full FMICS paper archive.