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. In Proceedings of International Conference on Formal Engineering Methods 2009 (pp. 367–386). Springer. |
|