![](/img/cover-not-exists.png)
Formal analysis of a hardware dynamic task dispatcher with CADP
Lantreibecq, Etienne, Serwe, WendelinVolume:
80
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2013.01.003
Date:
February, 2014
File:
PDF, 1.08 MB
english, 2014