We present two behavioral models of an autonomous vehicle and its intera...
CADP is a comprehensive toolbox implementing results of concurrency theo...
Asynchronous circuits have several advantages for security applications,...
Testing of network services represents one of the biggest challenges in ...