1393 search results - page 63 / 279 » Virtual-Channel Flow Control |
103
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
59
Voted
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
FM
2001
Springer
15 years 6 months ago
2001
Springer
72
Voted
ICC
2000
IEEE
15 years 6 months ago
2000
IEEE