2009
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform
Publication
Publication
Presented at the
International Conference on Formal Engineering Methods, Rio de Janeiro, Brazil
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Conference on Formal Engineering Methods | |
| Organisation | Computer Security |
|
de Boer, F., Grabe, I., Jaghoori, M. M., Stam, A.& Yi, W. (2009). Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. Proceedings of International Conference on Formal Engineering Methods 2009, 367–386. |
|