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. |