Formal analysis of a hardware dynamic task dispatcher with CADP.

Etienne Lantreibecq Wendelin Serwe

Published in: Sci. Comput. Program. (2014)

Keyphrases

formal analysis
formal methods
agent model
low cost
hardware and software
real time
neural network
machine learning
dynamic environments
artificial intelligence
relational databases
power consumption