Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.
| Autor: | Ngui, J., Strooper, P., Wildman, L., Wojcicki, M. |
|---|---|
| Zdroj: | 2007 Australian Software Engineering Conference (ASWEC'07); 2007, p223-232, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|